107 (147)
"Description Logic"
- The term refers to an area in knowledge representation
- a special type of “structured” First Order Logic
- there are several variants of Description Logic
- i.e., 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 individuals (
owl:Thing-s)
- none of these are “standardized” in W3C…
- … but you may see them in papers, references
OWL