Modelos de Conocimiento Basados en Ontologías para la ...

Capítulo 3. Representación del conocimiento y ontologías
3.3 Las ontologías
3.3.1 Concepto de ontología
El término "ontología" 27 comienza a ser empleado de forma generalizada en la
comunidad de la ingeniería del conocimiento a partir del trabajo de Gruber
(Gruber, 1993) 28 en el que se ofrecía una definición de dicho término como "una
especificación de una conceptualización". Esta definición es bastante vaga y se ha
intentado en varias ocasiones ofrecer alguna más descriptiva. Entre ellas se
pueden citar:
40
• Una ontología es una especificación explícita de una conceptualización
(Gruber, 1995).
• Una ontología es una representación de un sistema conceptual por medio
de una teoría lógica (Guarino y Giaretta, 1995).
• Una ontología es una teoría de qué entidades pueden existir en la mente de
un agente conocedor (que posee conocimiento) (Wielinga y Schreiber,
1993).
• Una ontología es una serie de acuerdos acerca de una conceptualización
compartida (Gruber, 1993).
En estas definiciones se expresan importantes características que todas las
ontologías comparten.
Una ontología refleja una conceptualización. Este término, introducido por
Genesereth y Nilsson en (Genesereth y Nilsson, 1987) es la base de la definición
de ontología. Sin embargo, desde su primera aparición, ha suscitado controversias
sobre qué es exactamente una conceptualización y cómo se debe definir (Guarino
y Giaretta, 1995). De forma genérica puede decirse que una conceptualización es
una visión del mundo respecto a un cierto dominio, estando formada por un
conjunto de conceptos (entidades, procesos, atributos, etc.) junto con sus
definiciones e interrelaciones (Uschold y Grüninger, 1996).
La representación del conocimiento recogida en una ontología es explícita, lo que
quiere decir que tiene entidad como tal, de forma aislada de cualquier uso que se
haga de ella. En una aplicación informática esta explicitación sirve para separar el
27 El término ontología se adopta del campo de la filosofía, donde fue definido por primera vez por Aristóteles con el
significado de "estudio de lo que existe". Tiene, por lo tanto, relación con la metafísica.
28 Existen documentos anteriores que recogen este término con un significado similar, por ejemplo (McCarthy, 1980) o
(Hayes, 1985), aunque su uso generalizado se produce a partir del trabajo de Gruber. Para una descripción detallada del
origen y uso del término ver (Guizzardi, 2005)