Concept languages; KL-ONE style languages; Terminologic languages
Description Logics (DLs) are a family of knowledge representation languages providing features for defining and describing concepts. The associated formal logics answer such questions as “ Is concept C or knowledge base T consistent?” and “Is concept A more specific than (subsumed by) concept B?”
DLs view the world as being populated by individuals, grouped into classes (“concepts”), and related by binary relationships (“roles”). DLs define concepts recursively starting from atomic identifiers by using concept and role constructors. A key characteristic of every DL’s expressiveness is therefore the set of constructors it supports. The collection of constructors considered has been determined empirically, by experience with a variety of tasks in Natural Language processing and other subfields of Artificial Intelligence. Considerable research has been devoted to finding the complexity of reasoning with...
- 5.Brachman RJ, Levesque HJ. The tractability of subsumption in frame-based description languages. In: Proceedings of the 4th National Conference on AI; 1984. p. 34–7.Google Scholar
- 7.Horrocks I, Tessaris S. A conjunctive query language for description logic aboxes. In: Proceedings of the 12th National Conference on AI; 2000. p. 399–404.Google Scholar
- 8.OWL Web Ontology Language Reference. http://www.w3.org/TR/owl-ref/