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

Class Summary

Class	Description
AbstractNaryAxiom<I extends Expression>	n-ary axiom base class
AxiomConceptInclusion
AxiomDeclaration
AxiomDifferentIndividuals	Different individuals axiom
AxiomDisjointConcepts	Concept disjointness axiom
AxiomDisjointDRoles	Data Role disjointness axiom
AxiomDisjointORoles	Object Role disjointness axiom
AxiomDisjointUnion	Disjoint Union axiom
AxiomDRoleDomain
AxiomDRoleFunctional
AxiomDRoleRange
AxiomDRoleSubsumption
AxiomEquivalentConcepts
AxiomEquivalentDRoles	Data Role equivalence axiom
AxiomEquivalentORoles	Object Role equivalence axiom
AxiomFairnessConstraint	Fairness constraint axiom
AxiomInstanceOf
AxiomORoleDomain
AxiomORoleFunctional
AxiomORoleRange
AxiomORoleSubsumption
AxiomRelatedTo
AxiomRelatedToNot
AxiomRoleAsymmetric
AxiomRoleInverse
AxiomRoleInverseFunctional
AxiomRoleIrreflexive
AxiomRoleReflexive
AxiomRoleSymmetric
AxiomRoleTransitive
AxiomSameIndividuals	Same individuals axiom
AxiomSingleDRole
AxiomSingleORole
AxiomValueOf
AxiomValueOfNot