Difference between revisions of "Category:Description Logic"

From CIMI
Jump to: navigation, search
 
Line 1: Line 1:
 
{{EntryStatus|Reviewed}}
 
{{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|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}}
 
{{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}}
{{Instanceof|Formal Language}}
+
{{Example|The design of OWL and SNOMED CT are both based on Description Logic.}}
 
{{GlossaryCategory}}
 
{{GlossaryCategory}}
 
{{Glossary_Entry}}
 
{{Glossary_Entry}}
 +
{{Instanceof|Formal Language}}

Latest revision as of 14:22, 30 October 2012


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.