Uses of Class
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl

Packages that use AxiomImpl

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

Uses of AxiomImpl in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Subclasses of AxiomImpl in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class
class	AxiomConceptInclusion SubClassOf
class	AxiomDeclaration declaration
class	AxiomDifferentIndividuals Different individuals axiom
class	AxiomDisjointConcepts Concept disjointness axiom
class	AxiomDisjointDRoles Data Role disjointness axiom
class	AxiomDisjointORoles Object Role disjointness axiom
class	AxiomDisjointUnion Disjoint Union axiom
class	AxiomDRoleDomain data role domain
class	AxiomDRoleFunctional functional data role
class	AxiomDRoleRange data role range
class	AxiomDRoleSubsumption data role subsumption
class	AxiomEquivalentConcepts equivalent concepts
class	AxiomEquivalentDRoles Data Role equivalence axiom
class	AxiomEquivalentORoles Object Role equivalence axiom
class	AxiomFairnessConstraint Fairness constraint axiom
class	AxiomInstanceOf class assertion
class	AxiomORoleDomain object role domain
class	AxiomORoleFunctional functional object role
class	AxiomORoleRange object role range
class	AxiomORoleSubsumption object role subsumption
class	AxiomRelatedTo object role assertion
class	AxiomRelatedToNot negated object role assertion
class	AxiomRoleAsymmetric asymmetric object role
class	AxiomRoleInverse inverse object property
class	AxiomRoleInverseFunctional inverse functional object role
class	AxiomRoleIrreflexive irreflexive object role
class	AxiomRoleReflexive reflexive object role
class	AxiomRoleSymmetric symmetric object role
class	AxiomRoleTransitive transitive object role
class	AxiomSameIndividuals Same individuals axiom
class	AxiomSingleDRole data role axiom
class	AxiomSingleORole object role axiom
class	AxiomValueOf data has value axiom
class	AxiomValueOfNot negation of data hasvalue axiom