En informática e inteligencia artificial , los lenguajes ontológicos 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 respaldan el procesamiento de ese conocimiento. Los lenguajes ontológicos suelen ser lenguajes declarativos , casi siempre son generalizaciones de lenguajes marco y, por lo general, se basan en la lógica de primer orden o en la lógica descriptiva .
Estos lenguajes utilizan un esquema de marcado para codificar el conocimiento, más comúnmente con XML .
Tres idiomas son idiomas total o parcialmente basados en marcos .
La lógica descriptiva proporciona una extensión de los lenguajes marco , sin llegar tan lejos como para dar el salto a la lógica de primer orden y al soporte de predicados arbitrarios.
Gellish es un ejemplo de lenguaje combinado de ontología y ontología basada en lógica descriptiva. Distingue entre otras cosas las diferencias semánticas de:
También contiene construcciones para expresar consultas e intención comunicativa.
Varios lenguajes de ontología admiten expresiones en lógica de primer orden y permiten predicados generales.