Category:Description Logic

From CIMI
Revision as of 09:20, 24 February 2012 by Jay Lyle (Talk | contribs)

Jump to: navigation, search


Abbreviation: DL
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.
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)
Category: Formal Language

This category currently contains no pages or media.

Retrieved from "http://informatics.mayo.edu/CIMI/index.php?title=Category:Description_Logic&oldid=2431"