4.
4.3 Class Disjointness
4.
4.1 Classes and Instances
5.
5.4 Enumeration of Individuals
5.
5.1 Complex Classes
7 Advanced Use of Datatypes
4.
4.8 Datatypes
5.
5.2 Property Restrictions
6.
6.2 Property Chains
6.
6.3 Keys
4.
4.5 Property Hierarchies
4.
4.4 Object Properties