Difference between revisions of "Category:Description Logic"
From CIMI
m (1 revision) |
|||
| Line 1: | Line 1: | ||
| − | {{ | + | {{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.}} |
| − | }} | + | {{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}} |
| − | {{ | + | |
{{GlossaryCategory}} | {{GlossaryCategory}} | ||
| − | {{ | + | {{Glossary_Entry}} |
Revision as of 09: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.
