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
class	ConceptOneOf
class	ConceptOr
class	DataAnd
class	DataOneOf
class	DataOr
class	NAryExpressionImpl<Argument extends Expression>
class	ObjectRoleChain

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
class	AxiomEquivalentDRoles Data Role equivalence axiom
class	AxiomEquivalentORoles Object Role equivalence axiom
class	AxiomFairnessConstraint Fairness constraint axiom
class	AxiomSameIndividuals Same individuals axiom