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

Packages that use AbstractNaryAxiom

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

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

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

Modifier and Type	Class and Description
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	AxiomEquivalentConcepts equivalent concepts
class	AxiomEquivalentDRoles Data Role equivalence axiom
class	AxiomEquivalentORoles Object Role equivalence axiom
class	AxiomFairnessConstraint Fairness constraint axiom
class	AxiomSameIndividuals Same individuals axiom