Axiom

The class of reified axioms. Used to attach annotations (provenance, deprecation, etc.) to a specific axiom rather than to one of its entities. Mirrors `owl:Axiom`.