Lenguaje ontológico

En informática e inteligencia artificial , los lenguajes de ontología son lenguajes formales que se utilizan para construir ontologías . Permiten codificar el conocimiento sobre dominios específicos y, a menudo, incluyen reglas de razonamiento que facilitan el procesamiento de dicho conocimiento. Los lenguajes de ontología suelen ser declarativos , casi siempre generalizaciones de lenguajes de marcos y, comúnmente, se basan en lógica de primer orden o en lógica descriptiva .

Clasificación de los lenguajes ontológicos

Clasificación por sintaxis

Lenguajes de ontología sintáctica tradicionales

Lógica común y sus dialectos
CicloL
DOGMA (Desarrollo de métodos y aplicaciones basados en ontologías)
F-Logic (Lógica de marcos)
FO-dot (lógica de primer orden extendida con tipos, aritmética, agregados y definiciones inductivas)
KIF (Formato de intercambio de conocimientos)
- Ontolingua basado en KIF
KL-ONE
Lenguaje de programación KM
LOOM (ontología)
OCML (Lenguaje de Modelado Conceptual Operacional)
OKBC ( Conectividad de Bases de Conocimiento Abiertas )
PLIB (Biblioteca de piezas)
CORREDOR

Lenguajes de ontología de marcado

Estos lenguajes utilizan un esquema de marcado para codificar el conocimiento, generalmente con XML .

Lenguajes naturales controlados

Intento de controlar el inglés ^{[ 1 ]}

Lenguas naturales de vocabulario abierto

Inglés ejecutable

Clasificación por estructura (tipo lógico)

Basado en marcos

Tres lenguajes son lenguajes basados total o parcialmente en marcos .

Lógica descriptiva

La lógica descriptiva proporciona una extensión de los lenguajes de marcos , sin llegar a dar el salto a la lógica de primer orden y al soporte para predicados arbitrarios.

Gellish es un ejemplo de un lenguaje ontológico combinado y una ontología basada en lógica descriptiva. Distingue entre las diferencias semánticas, entre otras, de:

Tipos de relaciones para las relaciones entre conceptos (clases)
tipos de relaciones para las relaciones entre individuos
tipos de relaciones para relaciones entre individuos y clases

También contiene estructuras para expresar consultas e intenciones comunicativas.

Lógica de primer orden basada

Varios lenguajes de ontología admiten expresiones en lógica de primer orden y permiten predicados generales.

Lógica común
CicloL
FO-dot (lógica de primer orden extendida con tipos, aritmética, agregados y definiciones inductivas)
KIF

Véase también

Notas

↑ Kuhn, Tobias. " Intento de utilizar el inglés controlado como lenguaje ontológico ". Reunión anual de REWERSE. 2006.

Referencias

Oscar Corcho, Asunción Gómez-Pérez, Una hoja de ruta para los lenguajes de especificación de ontologías (2000)
Introducción a la lógica descriptiva – Curso de DL impartido por Enrico Franconi, Facultad de Informática, Universidad Libre de Bolzano, Italia.