Category:Description Logic

From CIMI
Revision as of 14:22, 30 October 2012 by Jay Lyle (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Abbreviation: DL
Definition: A family of formal knowledge representation languages that model concepts, roles and individuals, and their relationships.
Reference Definition: Description Logic is a family of formal knowledge representation languages. A DL models concepts, roles and individuals, and their relationships. The design of OWL and SNOMED CT are both based on Description Logic. (Wikipedia)
Example: The design of OWL and SNOMED CT are both based on Description Logic.
Instance of: Formal Language

This category currently contains no pages or media.