Difference between revisions of "Category:Description Logic"
From CIMI
| Line 1: | Line 1: | ||
| + | {{EntryStatus|Reviewed}} | ||
{{Abbrev|DL}} | {{Abbrev|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.}} | {{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.}} | ||
Revision as of 18:13, 27 March 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)
Instance of: Formal Language
This category currently contains no pages or media.
