Package org.semanticweb.kaon2.api.owl.axioms

Interface Summary
Annotation Represents an axiom which annotates an entity.
ClassMember Represents an axiom specifying that an individual is a member of a description.
DataPropertyAttribute Represents an axiom specifying the attribute of some data property.
DataPropertyDomain Represents an axiom specifying the domain of some data property.
DataPropertyMember Represents an axiom specifying the value of some data property for an individual.
DataPropertyRange Represents an axiom specifying the range of some data property.
Deprecation Represents an axiom specifying that an entity has been deprecated.
DifferentIndividuals Represents an axiom specifying that individuals are different.
DisjointClasses Represents an axiom specifying that descriptions are disjoint.
EquivalentClasses Represents an axiom specifying that descriptions are equivalent.
EquivalentDataProperties Represents an axiom specifying that the data properties are equivalent.
EquivalentObjectProperties Represents an axiom specifying that the object properties are equivalent.
InverseObjectProperties Represents an axiom specifying that one property is an inverse property of the other property.
ObjectPropertyAttribute Represents an axiom specifying that an object property has some attribute.
ObjectPropertyDomain Represents an axiom specifying the domain of some object property.
ObjectPropertyMember Represents an axiom specifying the value of some object property for an individual.
ObjectPropertyRange Represents an axiom specifying the range of some object property.
SameIndividual Represents an axiom specifying that individuals are the same.
SubClassOf Represents a subclass axiom in an ontology.
SubDataPropertyOf Represents an axiom specifying that one data property is a subproperty of another property.
SubObjectPropertyOf Represents an axiom specifying that one object property is a subproperty of another property.