'How to distinguish the terms 'primitives' 'axioms' 'expressions' 'basic axioms' 'primitive terms' in description logic / OWL?
I have read several terms in the context of description logic / OWL Web Ontology Language, but it is hard for me to distinguish them. I could not find for any of them a clear definition in the context of the others, and authors use them often without clear definitions. Can someone help me?
The terms are in description logic / OWL:
- 'primitives'
- 'axioms'
- 'facts'
- 'expressions'
- 'basic axioms'
- 'complex axioms'
- 'primitive terms'
- 'triple'
- 'class description'
- 'class constructors'
- 'assertion' / 'asserted'
If someone could provide an example then distinguish them or show similarities between, would be very helpful. Thanks in advance!
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|