Ontology language
From Wikipedia, the free encyclopedia
In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic.
Contents |
[edit] Classification
[edit] Traditional ontology languages
- CycL
- DOGMA (Developing Ontology-Grounded Methods and Applications)
- F-Logic (Frame Logic)
- KIF (Knowledge Interchange Format)
- Ontolingua based on KIF
- KL-ONE
- KM programming language
- LOOM (ontology)
- OCML (Operational Conceptual Modelling Language)
- OKBC (Open Knowledge Base Connectivity)
- PLIB (Parts LIBrary)
- RACER
[edit] By syntax
[edit] Markup ontology languages
These languages use a markup scheme to encode knowledge, most commonly XML.
- DAML+OIL
- Ontology Inference Layer (OIL)
- Web Ontology Language (OWL)
- Resource Description Framework (RDF)
- RDF Schema
- SHOE
[edit] By structure
[edit] Frame-based
FLogic, OKBC, and KM, are completely or partially frame-based languages.
[edit] Description logic-based
Description logic provides an extension of frame languages, without going so far as to take the leap to first-order logic and support for arbitrary predicates. Examples include KL-ONE, RACER and OWL.
[edit] First-order logic-based
CycL and KIF are examples of languages that support expressions in first-order logic, and, in particular, allow general predicates.
[edit] See also
[edit] References
- Oscar Corcho, Asuncion Gomez-Perez, A Roadmap to Ontology Specification Languages (2000)
- Introduction to Description Logics DL course by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy
