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

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