Lenguaje de ontología

Este artículo tiene varios problemas. Ayúdenos a mejorarlo o a discutir estos problemas en la página de discusión . ( Aprenda cómo y cuándo eliminar estos mensajes ) Este artículo posiblemente contiene investigación original .Por favor, mejórelo verificando las afirmaciones realizadas y agregando citas en línea . Las afirmaciones que consistan únicamente en investigaciones originales deben eliminarse. ( Julio de 2014 )( Aprenda cómo y cuándo eliminar este mensaje ) Este artículo necesita citas adicionales para su verificación .Por favor, ayude a mejorar este artículo añadiendo citas de fuentes fiables . El material sin fuentes puede ser cuestionado y eliminado. Buscar fuentes:  «Lenguaje de ontología» – noticias  · periódicos  · libros  · académico  · JSTOR ( Mayo de 2017 )( Aprenda cómo y cuándo eliminar este mensaje ) Este artículo incluye una lista de referencias generales , pero carece de suficientes citas en línea correspondientes .Por favor, ayude a mejorar este artículo introduciendo citas más precisas. ( Mayo de 2017 )( Aprenda cómo y cuándo eliminar este mensaje ) ( Aprenda cómo y cuándo eliminar este mensaje )

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 .

• Lógica común y sus dialectos
• CicL
• DOGMA (Desarrollo de métodos y aplicaciones basados ​​en ontología)
• F-Logic (Lógica de trama)
• FO-dot (Lógica de primer orden ampliada con tipos, aritmética, agregados y definiciones inductivas)
• KIF (Formato de intercambio de conocimientos)
  • Ontolingua basada en KIF
• KL-UNO
• Lenguaje de programación KM
• LOOM (ontología)
• OCML (lenguaje de modelado conceptual operacional)
• OKBC ( Conectividad de base de conocimiento abierta )
• PLIB (Biblioteca de piezas)
• CORREDOR

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

• PRESA+PETROLEO
• Capa de inferencia de ontología (OIL)
• Lenguaje de ontología web (OWL)
• Marco de descripción de recursos (RDF)
• Esquema RDF (RDFS)
• ZAPATO

• Intento de controlar el inglés ^[1]

• Ejecutable en inglés ^[2]

Tres idiomas son idiomas total o parcialmente basados ​​en marcos .

• F-Lógica
• Banco de la República de China
• km.

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.

• KL-UNO
• CORREDOR
• BÚHO .

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:

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

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.

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

• Teoría de dominios
• Análisis del concepto formal
• Conexión de Galois
• Enrejado (orden)
• Lenguaje de modelado
• OntoUML

• Oscar Corcho, Asunción Gómez-Pérez, Una hoja de ruta hacia los lenguajes de especificación de ontologías (2000)
• Introducción a la lógica descriptiva: curso de DL a cargo de Enrico Franconi, Facultad de Informática, Universidad Libre de Bolzano, Italia