restriction -> on multiple properties (onProperties and not just onProperty)
restriction -> hasValue, hasSelf (object property only), cardinality, qualifiedCardinality, max/minCardinality, max/minQualifiedCardinality (for both datatype and object properties except where noted) - currently this info is simply printed out as-is
datatype restriction facets (max/minInclusive, max/minExclusive, max/minLength, length, pattern, langRange) - currently this info is simply printed out as-is
topObject/DataProperty, bottomObject/DataProperty
datatype range expressions (datatypeComplementOf, intersectionOf, unionOf, oneOf)
AllDisjointClasses, disjointUnionOf
subPropertyOf, propertyChainAxiom (object property only), equivalentProperty, inverseOf (object property only), propertyDisjointWith, AllDisjointProperties (for both datatype and object properties except where noted)
datatype definition using equivalentClass
sameAs, differentFrom, AllDifferent
positive and negative property assertions (PN and NegativePropertyAssertion for object properties, R and NegativePropertyAssertion for datatype properties)
individuals defined using negative property assertions
hasKey
Axioms and annotatedSource, annotatedTarget, annotatedProperty
ontology, class and property annotations (versionInfo, deprecated, comment, seeAlso, isDefinedBy, backwardCompatibleWith, incompatibleWith, priorVersion)
Support needs to be provided for: