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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.Axioms
  • org.semanticweb.owlapitools.decomposition.AxiomWrapper (implements java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl (implements java.io.Serializable)
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom<I> (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>)
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric
        • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf
      • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot