://www.w3.org/TR/owl2-rdf-based-semantics/
#table-axiomatic-classes