Package com.github.anno4j.schema.model.owl

Interface Summary

Interface	Description
FunctionalProperty	A functional property is a property that can have only one (unique) value y for each instance x, i.e.
InverseFunctionalProperty	If a property is declared to be inverse-functional, then the object of a property statement uniquely determines the subject (some individual).
ObjectProperty	An object property is a property linking an individual to an individual.
OWLClazz	A class defines a group of individuals that belong together because they share some properties.
Restriction	A restriction can support limitations and boundaries for properties.
SymmetricProperty	A symmetric property is a property for which holds that if the pair (x,y) is an instance of P, then the pair (y,x) is also an instance of P.
TransitiveProperty	When one defines a property P to be a transitive property, this means that if a pair (x,y) is an instance of P, and the pair (y,z) is also instance of P, then we can infer the the pair (x,z) is also an instance of P.

Class Summary

Class	Description
RestrictionSupport	Support class for Restriction implementing validity checks.