Relaciones entre ontologías

En la sección anterior hemos mostrado operaciones que relacionan ontologías. En la FIPA Ontology Service Specification se proporciona una clasificación del grado de traducibilidad entre dos ontologías:

  • Extensión: la ontología O1 extiende la ontología O2. La ontología O1 extiende o incluye la ontología O2. Informalmente, esto significa que todos los símbolos que están definidos dentro de O2 se encuentran en O1 junto con las restricciones, significados y otras relaciones axiomáticas de estos símbolos de O2.
  • Idénticas: las ontologías O1 y O2 son idénticas. El vocabulario, la axiomatización y el lenguaje son físicamente idénticos, pero el nombre puede ser diferente.
  • Equivalentes: las ontologías O1 y O2 son equivalentes. El vocabulario lógico y la axiomatización lógica son iguales, pero el lenguaje (sintaxis) es diferente. Cuando O1 y O2 son equivalentes, entonces son fuertemente traducibles en ambas direcciones.
  • Fuertemente traducible: la ontología fuente O1 es fuertemente traducible a la ontología destino O2. El vocabulario de O1 puede traducirse totalmente al vocabulario de O2, la axiomatización de O1 se mantiene en O2, no hay pérdida de información desde O1 hacia O2 y no se introduce inconsistencia. Nótese que los lenguajes de representación todavía pueden ser diferentes.
  • Débilmente traducible: la ontología fuente O1 es débilmente traducible a la ontología destino O2. La traducción permite cierta pérdida de información (por ejemplo, los términos se simplifican en O2), pero no permite la introducción de inconsistencias.
  • Aproximadamente traducible: la ontología fuente O1 es aproximadamente traducible a la ontología destino O2. La traducción permite incluso la introducción de inconsistencias, es decir, algunas de las relaciones dejan de ser válidas y algunas restricciones dejan de aplicarse.

Al igual que sucede con las operaciones de la sección anterior, decidir la relación entre dos ontologías suele requerir intervención manual. Además, normalmente también interesa la forma de traducir entre ontologías traducibles. Una vez que se conoce la relación, puede usarse para decidir qué ontologías seleccionar para propósitos particulares.