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

Packages that use RoleExpression

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

Uses of RoleExpression in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel with type parameters of type RoleExpression

Modifier and Type	Method and Description
<T extends RoleExpression> TaxonomyActor<T>	ReasoningKernel.getEquivalentRoles(RoleExpression r, TaxonomyActor<T> actor) apply actor__apply() to all synonyms of [complex] R
<T extends RoleExpression> TaxonomyActor<T>	ReasoningKernel.getRoles(RoleExpression r, boolean direct, TaxonomyActor<T> actor, boolean supDirection) apply actor__apply() to all DIRECT super-roles of [complex] R

Methods in uk.ac.manchester.cs.jfact.kernel that return RoleExpression

Modifier and Type	Method and Description
RoleExpression	TDag2Interface.getDataRoleExpression(Role r)
RoleExpression	TDag2Interface.getObjectRoleExpression(Role r)

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type RoleExpression

Modifier and Type	Method and Description
Collection<IndividualName>	ReasoningKernel.getDataRelatedIndividuals(RoleExpression or, RoleExpression os, int op, Collection<IndividualExpression> individuals) set RESULT into set of instances of A such that they do have data roles R and S
<T extends RoleExpression> TaxonomyActor<T>	ReasoningKernel.getEquivalentRoles(RoleExpression r, TaxonomyActor<T> actor) apply actor__apply() to all synonyms of [complex] R
List<DlCompletionTree>	ReasoningKernel.getNeighbours(DlCompletionTree node, RoleExpression role) build the set of neighbours of a NODE via role ROLE; put the resulting list into RESULT
<T extends RoleExpression> TaxonomyActor<T>	ReasoningKernel.getRoles(RoleExpression r, boolean direct, TaxonomyActor<T> actor, boolean supDirection) apply actor__apply() to all DIRECT super-roles of [complex] R
static boolean	ExpressionManager.isEmptyRole(RoleExpression r)
boolean	ReasoningKernel.isSubRoles(RoleExpression or, RoleExpression os)
static boolean	ExpressionManager.isUniversalRole(RoleExpression r)

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type RoleExpression

Modifier and Type	Method and Description
boolean	ReasoningKernel.isDisjointRoles(List<? extends RoleExpression> l)

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

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

Modifier and Type	Class and Description
class	DataRoleBottom data bottom property
class	DataRoleName data role name
class	DataRoleTop data role top
class	ObjectRoleBottom bottom object role
class	ObjectRoleChain object role chain
class	ObjectRoleInverse object role inverse
class	ObjectRoleName object role
class	ObjectRoleProjectionFrom object role projection from
class	ObjectRoleProjectionInto object role projection into
class	ObjectRoleTop object role top

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

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

Modifier and Type	Interface and Description
interface	DataRoleExpression data role expression
interface	ObjectRoleComplexExpression object role complex expression
interface	ObjectRoleExpression object role expression