Page History

...

• class inclusion ( SubClassOf )

• class equivalence ( EquivalentClasses )

• object property inclusion ( SubObjectPropertyOf ) with or without property chains, and data property inclusion ( SubDataPropertyOf )

• class disjointness ( DisjointClasses )

• property equivalence ( EquivalentObjectProperties and EquivalentDataProperties ),

• transitive object properties ( TransitiveObjectProperty )

• reflexive object properties ( ReflexiveObjectProperty )

...

• assertions ( SameIndividual , DifferentIndividuals , ClassAssertion , ObjectPropertyAssertion , DataPropertyAssertion , NegativeObjectPropertyAssertion , and NegativeDataPropertyAssertion )

• functional data properties ( FunctionalDataProperty )

• keys ( HasKey )

• domain restrictions ( ObjectPropertyDomain and DataPropertyDomain )

• range restrictions ( ObjectPropertyRange and DataPropertyRange )

• intersection of data ranges ( DataIntersectionOf )

• existential quantification to a data range ( DataSomeValuesFrom )

• existential quantification to an individual ( ObjectHasValue )

• self-restriction ( ObjectHasSelf )

• enumerations involving a single individual ( ObjectOneOf ) or a single literal ( DataOneOf )

• universal quantification to a class expression ( ObjectAllValuesFrom ) or a data range ( DataAllValuesFrom )

• cardinality restrictions ( ObjectMaxCardinality , ObjectMinCardinality , ObjectExactCardinality , DataMaxCardinality , DataMinCardinality , and DataExactCardinality )

• disjunction ( ObjectUnionOf , DisjointUnion , and DataUnionOf )

• class negation ( ObjectComplementOf )

• class disjointness ( DisjointClasses )

• enumerations involving more than one individual ( ObjectOneOf and DataOneOf )

• disjoint properties ( DisjointObjectProperties and DisjointDataProperties )

• property equivalence ( EquivalentObjectProperties and EquivalentDataProperties )

• irreflexive object properties ( IrreflexiveObjectProperty )

• inverse object properties ( InverseObjectProperties )

• functional and inverse-functional object properties ( FunctionalObjectProperty and InverseFunctionalObjectProperty )

• symmetric object properties ( SymmetricObjectProperty )

• asymmetric object properties ( AsymmetricObjectProperty )

...