Difference between revisions of "Category:Description Logic"

From CIMI
Jump to: navigation, search
m (1 revision)
Line 1: Line 1:
{{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.}}
}}
+
{{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}}
{{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 }}
+
{{Kindof|Formal Language}}
{{kindof|Terminology}}
+
 
{{GlossaryCategory}}
 
{{GlossaryCategory}}
{{Glossary Entry}}
+
{{Glossary_Entry}}

Revision as of 08:20, 24 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: Formal Language

This category currently contains no pages or media.