"Axiom" . . "The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object." . . . . .