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

Packages that use Entity

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

Uses of Entity in uk.ac.manchester.cs.jfact.datatypes

Subinterfaces of Entity in uk.ac.manchester.cs.jfact.datatypes

Modifier and Type	Interface and Description
interface	Datatype<Representation extends Comparable<Representation>>
interface	DatatypeExpression<Representation extends Comparable<Representation>> Represents an extended datatype - intersection, union or further restrictions.
interface	Literal<T extends Comparable<T>>
interface	NumericDatatype<R extends Comparable<R>> all Datatypes whose getNumeric() method returns true implement this interface
interface	NumericLiteral<R extends Comparable<R>> all literals whose datatype is numeric

Classes in uk.ac.manchester.cs.jfact.datatypes that implement Entity

Modifier and Type	Class and Description
class	DatatypeEnumeration<R extends Comparable<R>>
class	DatatypeNegation<R extends Comparable<R>>
class	DatatypeNumericEnumeration<R extends Comparable<R>>
class	NumericLiteralImpl<R extends Comparable<R>> all literals whose datatype is numeric

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

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

Modifier and Type	Class and Description
class	AbstractConceptDataCardinality
class	ConceptAnd
class	ConceptBottom
class	ConceptDataExactCardinality
class	ConceptDataExists
class	ConceptDataForall
class	ConceptDataMaxCardinality
class	ConceptDataMinCardinality
class	ConceptDataValue
class	ConceptName
class	ConceptNot
class	ConceptObjectExactCardinality
class	ConceptObjectExists
class	ConceptObjectForall
class	ConceptObjectMaxCardinality
class	ConceptObjectMinCardinality
class	ConceptObjectSelf
class	ConceptObjectValue
class	ConceptOneOf
class	ConceptOr
class	ConceptTop
class	DataAnd
class	DataBottom
class	DataNot
class	DataOneOf
class	DataOr
class	DataRoleBottom
class	DataRoleName
class	DataRoleTop
class	DataTop
class	IndividualName
class	ObjectRoleBottom
class	ObjectRoleChain
class	ObjectRoleInverse
class	ObjectRoleName
class	ObjectRoleProjectionFrom
class	ObjectRoleProjectionInto
class	ObjectRoleTop

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

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

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class
class	AxiomConceptInclusion
class	AxiomDeclaration
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
class	AxiomDRoleFunctional
class	AxiomDRoleRange
class	AxiomDRoleSubsumption
class	AxiomEquivalentConcepts
class	AxiomEquivalentDRoles Data Role equivalence axiom
class	AxiomEquivalentORoles Object Role equivalence axiom
class	AxiomFairnessConstraint Fairness constraint axiom
class	AxiomInstanceOf
class	AxiomORoleDomain
class	AxiomORoleFunctional
class	AxiomORoleRange
class	AxiomORoleSubsumption
class	AxiomRelatedTo
class	AxiomRelatedToNot
class	AxiomRoleAsymmetric
class	AxiomRoleInverse
class	AxiomRoleInverseFunctional
class	AxiomRoleIrreflexive
class	AxiomRoleReflexive
class	AxiomRoleSymmetric
class	AxiomRoleTransitive
class	AxiomSameIndividuals Same individuals axiom
class	AxiomSingleDRole
class	AxiomSingleORole
class	AxiomValueOf
class	AxiomValueOfNot

Uses of Entity in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Subinterfaces of Entity in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Modifier and Type	Interface and Description
interface	Axiom
interface	ConceptDataCardinalityExpression general data role cardinality expression
interface	ConceptDataRoleExpression
interface	ConceptDataRVExpression
interface	ConceptExpression
interface	ConceptObjectCardinalityExpression
interface	ConceptObjectRCExpression
interface	ConceptObjectRoleExpression general concept expression that contains an object role
interface	DataExpression
interface	DataRoleExpression
interface	Expression
interface	IndividualExpression
interface	ObjectRoleComplexExpression
interface	ObjectRoleExpression
interface	RoleExpression