@ParametersAreNonnullByDefault

Package uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class Summary

Class	Description
AbstractNaryAxiom<I extends Expression>	n-ary axiom base class
AxiomConceptInclusion	SubClassOf
AxiomDeclaration	declaration
AxiomDifferentIndividuals	Different individuals axiom
AxiomDisjointConcepts	Concept disjointness axiom
AxiomDisjointDRoles	Data Role disjointness axiom
AxiomDisjointORoles	Object Role disjointness axiom
AxiomDisjointUnion	Disjoint Union axiom
AxiomDRoleDomain	data role domain
AxiomDRoleFunctional	functional data role
AxiomDRoleRange	data role range
AxiomDRoleSubsumption	data role subsumption
AxiomEquivalentConcepts	equivalent concepts
AxiomEquivalentDRoles	Data Role equivalence axiom
AxiomEquivalentORoles	Object Role equivalence axiom
AxiomFairnessConstraint	Fairness constraint axiom
AxiomImpl	Axiom implementation
AxiomInstanceOf	class assertion
AxiomORoleDomain	object role domain
AxiomORoleFunctional	functional object role
AxiomORoleRange	object role range
AxiomORoleSubsumption	object role subsumption
AxiomRelatedTo	object role assertion
AxiomRelatedToNot	negated object role assertion
AxiomRoleAsymmetric	asymmetric object role
AxiomRoleInverse	inverse object property
AxiomRoleInverseFunctional	inverse functional object role
AxiomRoleIrreflexive	irreflexive object role
AxiomRoleReflexive	reflexive object role
AxiomRoleSymmetric	symmetric object role
AxiomRoleTransitive	transitive object role
Axioms	Axiom utilities.
AxiomSameIndividuals	Same individuals axiom
AxiomSingleDRole	data role axiom
AxiomSingleORole	object role axiom
AxiomValueOf	data has value axiom
AxiomValueOfNot	negation of data hasvalue axiom