Science Fair Project Encyclopedia
Description logic
Description Logics are a family of knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way. The name description logic refers, on the one hand, to concept descriptions used to describe a domain and, on the other hand to the logic-based semantics which can be given by a translation into first-order predicate logic. (DL) was designed as an extension to frames and semantic networks, which were not equipped with a formal logic-based semantics.
Description Logic was given its current name in the 1980s. Previous to this it was called (chronologically): terminological systems, and concept languages. Today Description Logic has become a cornerstone of the Semantic Web for its use in the design of ontologies.
The first DL-based system was KL-ONE (by Brachman and Schmolze, 1985). Some other DL systems came later. They are LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998) and lately RACER (2001) and KAON 2 (2005).
The development of OIL was inspired by DL.
See also
References
- F. Baader, D. Calvanese, D. L. McGuiness, D. Nardi, P. F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge, UK, 2003
External links
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details