Una ontología (informática) es un sistema lógico que contiene conceptos, la definición de esos conceptos y la especificación de las relaciones que existen entre esos conceptos.