Uses of Interface
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression

Packages that use NAryExpression

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

Uses of NAryExpression in uk.ac.manchester.cs.jfact.kernel.dl

Classes in uk.ac.manchester.cs.jfact.kernel.dl that implement NAryExpression

Modifier and Type	Class and Description
class	ConceptAnd concept intersection
class	ConceptOneOf<I extends IndividualExpression> object nominal
class	ConceptOr concept union
class	DataAnd data intersection
class	DataOneOf data one of
class	DataOr data union
class	NAryExpressionImpl<A extends Expression> nary expression base
class	ObjectRoleChain object role chain

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

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms that implement NAryExpression

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class
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