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

Class Summary

Class	Description
AbstractConceptDataCardinality
ConceptAnd
ConceptBottom
ConceptDataExactCardinality
ConceptDataExists
ConceptDataForall
ConceptDataMaxCardinality
ConceptDataMinCardinality
ConceptDataValue
ConceptName
ConceptNot
ConceptObjectExactCardinality
ConceptObjectExists
ConceptObjectForall
ConceptObjectMaxCardinality
ConceptObjectMinCardinality
ConceptObjectSelf
ConceptObjectValue
ConceptOneOf
ConceptOr
ConceptTop
DataAnd
DataBottom
DataNot
DataOneOf
DataOr
DataRoleBottom
DataRoleName
DataRoleTop
DataTop
IndividualName
NamedEntityImpl
NAryExpressionImpl<Argument extends Expression>
ObjectRoleBottom
ObjectRoleChain
ObjectRoleInverse
ObjectRoleName
ObjectRoleProjectionFrom
ObjectRoleProjectionInto
ObjectRoleTop