[Part] 4 [Document] Direct Semantics defines the meaning of OWL 2 ontologies in terms of a model-theoretic semantics. [Type] 
Core Specification
F o r U s e r s
C o r e S p e c i f i c a t i o n
S p e c i f i c a t i o n