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 de conocimientos 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 de 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
- Lógica común y sus dialectos
- CycL
- DOGMA (Desarrollo de métodos y aplicaciones basados en ontologías)
- F-Logic (lógica de trama)
- 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 base de conocimientos abierta )
- PLIB (biblioteca de piezas)
- CORREDOR
Lenguajes de ontología de marcado
Estos lenguajes utilizan un esquema de marcado para codificar el conocimiento, más comúnmente con XML .
- DAML + ACEITE
- Capa de inferencia de ontología (OIL)
- Lenguaje de ontología web (OWL)
- Marco de descripción de recursos (RDF)
- Esquema RDF (RDFS)
- ZAPATO
Lenguajes naturales controlados
Lenguajes naturales de vocabulario abierto
- Inglés ejecutable [2]
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 construcciones 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
- Teoría del dominio
- Análisis de concepto formal
- Conexión de Galois
- Celosía (orden)
- Lista de lenguajes de representación del conocimiento
- Lenguaje de modelado
- OntoUML
Notas
- ^ Kuhn, Tobías. " Intento de inglés controlado como lengua de ontología ". Reunión anual de REWERSE. 2006.
- ^ www.executable-english.com
Referencias
- Oscar Corcho, Asuncion Gomez-Perez, A Roadmap to Ontology Specification Languages (2000)
- Introducción a la lógica descriptiva : curso DL por Enrico Franconi, Facultad de Ciencias de la Computación, Universidad Libre de Bolzano, Italia