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

Packages that use uk.ac.manchester.cs.jfact.kernel.dl.axioms

Package	Description
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms used by uk.ac.manchester.cs.jfact.elf

Class and Description
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
AxiomValueOf
AxiomValueOfNot

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms used by uk.ac.manchester.cs.jfact.kernel

Class and Description
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
AxiomValueOf
AxiomValueOfNot

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms used by uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class and Description
AbstractNaryAxiom n-ary axiom base class
AxiomSingleDRole
AxiomSingleORole

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms used by uk.ac.manchester.cs.jfact.split

Class and Description
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
AxiomValueOf
AxiomValueOfNot

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms used by uk.ac.manchester.cs.jfact.visitors

Class and Description
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
AxiomValueOf
AxiomValueOfNot