[Part] 2 [Document] Structural Specification and Functional-Style Syntax defines the constructs of OWL 2 ontologies in terms of both their structure and a functional-style syntax, and defines OWL 2 DL ontologies in terms of global restrictions on OWL 2 ontologies. [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