Lenguaje de ontología - Ontology language

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

Clasificación de lenguajes de ontología

Clasificación por sintaxis

Lenguajes de ontología de sintaxis tradicionales

Lenguajes de ontología de marcado

Estos lenguajes utilizan un esquema de marcado para codificar el conocimiento, más comúnmente con XML .

Lenguajes naturales controlados

Lenguajes naturales de vocabulario abierto

Clasificación por estructura (tipo lógico)

Basado en marcos

Tres idiomas son lenguajes basados total o parcialmente en marcos .

Descripción basada en lógica

La lógica de descripción proporciona una extensión de los lenguajes de marco , 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 que se basa en la lógica descriptiva. Distingue entre las diferencias semánticas entre otras de:

  • tipos de relación para relaciones entre conceptos (clases)
  • tipos de relación para las relaciones entre individuos
  • tipos de relación para las relaciones entre individuos y clases

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

Basado en lógica de primer orden

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

Ver también

Notas

Referencias