@ParametersAreNonnullByDefault

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

Class Summary

Class	Description
AbstractConceptDataCardinality	base class for data cardinality
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<I extends IndividualExpression>	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
NamedEntityImpl	named entity base class
NAryExpressionImpl<A extends Expression>	nary expression base
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