http://www.w3.org/TR/owl-ref, Section 3.2.1.1.1 http://www.w3.org/TR/owl-ref, Section 3.1.1