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.kernel
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.visitors

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

Class and Description
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
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
AxiomSameIndividuals Same individuals axiom
AxiomValueOf data has value axiom
AxiomValueOfNot negation of data hasvalue axiom

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
AxiomImpl Axiom implementation
AxiomSingleDRole data role axiom
AxiomSingleORole object role axiom

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

Class and Description
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
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
AxiomSameIndividuals Same individuals axiom
AxiomValueOf data has value axiom
AxiomValueOfNot negation of data hasvalue axiom