Description_logic Description_logic

Description logic - Definition

Related Words: Anecdote, Blood, Brand, Breed, Cast, Category, Character, Characterization, Chronicle, Clan, Class, Color, Commentary, Construction, Definition, Denomination, Diagnosis, Differentiation, Explanation, Feather, Form, Genre, Genus

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).

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

Example Usage of Description

Drugs_Online: Drug List: Description of illnesses and drug guide online.: http://digg.com/d31De3m?t
worldfreelance: PENNY AUCTION WEBSITE - SIMILIAR TO SWOOPO by diamantino69: Description I want to create a penny auction websit.. http://bit.ly/57pRNl
cannastar: The previous tweet was a Description of some POC goggles I am looking at buying, Lol, kinda stating the obvious, a slight waste of R&D
Copyright 2009 WordIQ.com - Privacy Policy  :: Terms of Use  :: Contact Us  :: About Us
This article is licensed under the GNU Free Documentation License. It uses material from the this Wikipedia article.