Integración de Ontologías y Capacidades de Razonamiento en Agentes de Software Inteligentes para la Simulación del Proceso de Negociación de Contratos de Energía Eléctrica.