Category:Description Logic

From CIMI
(Redirected from Description Logic)
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.