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

Classes

• AbstractNaryAxiom
• AxiomConceptInclusion
• AxiomDeclaration
• AxiomDifferentIndividuals
• AxiomDisjointConcepts
• AxiomDisjointDRoles
• AxiomDisjointORoles
• AxiomDisjointUnion
• AxiomDRoleDomain
• AxiomDRoleFunctional
• AxiomDRoleRange
• AxiomDRoleSubsumption
• AxiomEquivalentConcepts
• AxiomEquivalentDRoles
• AxiomEquivalentORoles
• AxiomFairnessConstraint
• AxiomImpl
• AxiomInstanceOf
• AxiomORoleDomain
• AxiomORoleFunctional
• AxiomORoleRange
• AxiomORoleSubsumption
• AxiomRelatedTo
• AxiomRelatedToNot
• AxiomRoleAsymmetric
• AxiomRoleInverse
• AxiomRoleInverseFunctional
• AxiomRoleIrreflexive
• AxiomRoleReflexive
• AxiomRoleSymmetric
• AxiomRoleTransitive
• Axioms
• AxiomSameIndividuals
• AxiomSingleDRole
• AxiomSingleORole
• AxiomValueOf
• AxiomValueOfNot