Difference between revisions of "Category:Description Logic"

From CIMI
Jump to: navigation, search
m (1 revision)
m (1 revision)
(No difference)

Revision as of 11:02, 17 February 2012


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: Terminology

This category currently contains no pages or media.