- The term refers to an area in knowledge representation
- there are several variants of Description Logic
- i.e.: OWL DL ≠ Description Logic…
- but OWL DL is an embodiment of a Description Logic
- Traditional DL terms sometimes used (by experts…):
- “named objects, concepts”: definition of classes, individuals, …
- “axioms”: e.g., subclass or subproperty relationships, …
- “facts”: statements about indivudals (
owl:Thing
-s)
- but none of these are “standardized” in W3C…