#REDIRECT 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 semantic framess 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 Ontology (computer science). 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 system (2001) and KAON (2005). The development of OIL was inspired by DL. == See also == * Semantic Web * Ontology (computer science) * DAML+OIL * Web_Ontology_Language * RACER system * KAON == 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 == * http://dl.kr.org/ Knowledge representation
DAML+OIL link doesn't work (probably because of the + ?)
See other meanings of words starting from letter:
Words begining with Description_logic:
Description_Logic
Description_logic
Description_logic
Description Logic
#REDIRECT Description_logic
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 semantic framess 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 Ontology (computer science). 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 system (2001) and KAON (2005). The development of OIL was inspired by DL. == See also == * Semantic Web * Ontology (computer science) * DAML+OIL * Web_Ontology_Language * RACER system * KAON == 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 == * http://dl.kr.org/ Knowledge representation
Description logic
DAML+OIL link doesn't work (probably because of the + ?)
See other meanings of words starting from letter:
D
DA | DB | DC | DE | DF | DG | DH | DI | DJ | DK | DL | DM | DN | DO | DP | DR | DS | DT | DU | DW | DX | DY | DZ |Words begining with Description_logic:
Description_Logic
Description_logic
Description_logic
Sponsored links: praca, nurkowanie.
These materials are based on Wikipedia and licensed under the GNU FDL
YouTube.com videos better site than Turbo Tax 2007
