ofn

Annotation AnnotationAssertion Declaration DisjointUnion HasKey SubClassOf @@ DataAllValuesFrom DataComplementOf DataIntersectionOf DataOneOf DataSomeValuesFrom DatatypeDefinition DatatypeRestriction ^^ DataPropertyAssertionAxiom AnonymousIndividual FacetRestriction ClassAssertion NamedObjectConstructor NaryClassAxiom NaryIndividualsAxiom ObjectAllValuesFrom ObjectComplementOf ObjectExactCardinality ObjectHasSelf ObjectHasValue ObjectIntersectionOf ObjectInverseOf ObjectMaxCardinality ObjectMinCardinality ObjectOneOf ObjectSomeValuesFrom ObjectUnionOf ObjectPropertyAssertionAxiom DataPropertyDomain DataPropertyRange DisjointDataProperties DisjointObjectProperties EquivalentDataProperties EquivalentObjectProperties InverseObjectProperties ObjectPropertyDomain ObjectPropertyRange SubDataPropertyOf SubObjectPropertyChainOf SubObjectPropertyOf BuiltInAtom ClassAtom DLSafeRule DataPropertyAtom DataRangeAtom DifferentIndividualsAtom ObjectPropertyAtom SameIndividualAtom Variable UnaryObjectPropertyAxiom