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

Packages that use uk.ac.manchester.cs.jfact.kernel.dl

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

Classes in uk.ac.manchester.cs.jfact.kernel.dl used by uk.ac.manchester.cs.jfact.kernel

Class and Description
ConceptAnd concept intersection
ConceptBottom bottom
ConceptDataExactCardinality data exact cardinality
ConceptDataExists exist data restriction
ConceptDataForall forall data restriction
ConceptDataMaxCardinality data max cardinality
ConceptDataMinCardinality data min cardinality
ConceptDataValue concept data value
ConceptName named concept
ConceptNot concept negation
ConceptObjectExactCardinality object exact cardinality
ConceptObjectExists object exist restriction
ConceptObjectForall forall object restriction
ConceptObjectMaxCardinality object max cardinality
ConceptObjectMinCardinality object min cardinality
ConceptObjectSelf self object restriction
ConceptObjectValue object value restriction
ConceptOneOf object nominal
ConceptOr concept union
ConceptTop top
DataAnd data intersection
DataBottom data bottom concept
DataNot data negation
DataOneOf data one of
DataOr data union
DataRoleBottom data bottom property
DataRoleName data role name
DataRoleTop data role top
DataTop data top
IndividualName individual name
ObjectRoleBottom bottom object role
ObjectRoleChain object role chain
ObjectRoleInverse object role inverse
ObjectRoleName object role
ObjectRoleProjectionFrom object role projection from
ObjectRoleProjectionInto object role projection into
ObjectRoleTop object role top

Classes in uk.ac.manchester.cs.jfact.kernel.dl used by uk.ac.manchester.cs.jfact.kernel.dl

Class and Description
AbstractConceptDataCardinality base class for data cardinality
NamedEntityImpl named entity base class
NAryExpressionImpl nary expression base

Classes in uk.ac.manchester.cs.jfact.kernel.dl used by uk.ac.manchester.cs.jfact.visitors

Class and Description
ConceptAnd concept intersection
ConceptBottom bottom
ConceptDataExactCardinality data exact cardinality
ConceptDataExists exist data restriction
ConceptDataForall forall data restriction
ConceptDataMaxCardinality data max cardinality
ConceptDataMinCardinality data min cardinality
ConceptDataValue concept data value
ConceptName named concept
ConceptNot concept negation
ConceptObjectExactCardinality object exact cardinality
ConceptObjectExists object exist restriction
ConceptObjectForall forall object restriction
ConceptObjectMaxCardinality object max cardinality
ConceptObjectMinCardinality object min cardinality
ConceptObjectSelf self object restriction
ConceptObjectValue object value restriction
ConceptOneOf object nominal
ConceptOr concept union
ConceptTop top
DataAnd data intersection
DataBottom data bottom concept
DataNot data negation
DataOneOf data one of
DataOr data union
DataRoleBottom data bottom property
DataRoleName data role name
DataRoleTop data role top
DataTop data top
IndividualName individual name
ObjectRoleBottom bottom object role
ObjectRoleChain object role chain
ObjectRoleInverse object role inverse
ObjectRoleName object role
ObjectRoleProjectionFrom object role projection from
ObjectRoleProjectionInto object role projection into
ObjectRoleTop object role top