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
uk.ac.manchester.cs.jfact.split

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

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 that return types with arguments of type RoleExpression

Modifier and Type	Method and Description
Set<RoleExpression>	ReasoningKernel.getDataRoles(DlCompletionTree node, boolean onlyDet) build the set of data neighbours of a NODE, put the set of data roles into the RESULT variable
Set<RoleExpression>	ReasoningKernel.getObjectRoles(DlCompletionTree node, boolean onlyDet, boolean needIncoming) build the set of object neighbours of a NODE, put the set of object roles and inverses into the RESULT variable

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

Modifier and Type	Method and Description
void	ReasoningKernel.getEquivalentRoles(RoleExpression r, Actor 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
void	ReasoningKernel.getSubRoles(RoleExpression r, boolean direct, Actor actor) apply actor__apply() to all DIRECT sub-roles of [complex] R
void	ReasoningKernel.getSupRoles(RoleExpression r, boolean direct, Actor actor) apply actor__apply() to all DIRECT super-roles of [complex] R
boolean	ExpressionManager.isEmptyRole(RoleExpression R)
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
class	DataRoleName
class	DataRoleTop
class	ObjectRoleBottom
class	ObjectRoleChain
class	ObjectRoleInverse
class	ObjectRoleName
class	ObjectRoleProjectionFrom
class	ObjectRoleProjectionInto
class	ObjectRoleTop

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
interface	ObjectRoleComplexExpression
interface	ObjectRoleExpression

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

Methods in uk.ac.manchester.cs.jfact.split that return types with arguments of type RoleExpression

Modifier and Type	Method and Description
Set<RoleExpression>	KnowledgeExplorer.getDataRoles(DlCompletionTree node, boolean onlyDet)
Set<RoleExpression>	KnowledgeExplorer.getObjectRoles(DlCompletionTree node, boolean onlyDet, boolean needIncoming) build the set of object neighbours of a NODE; incoming edges are counted iff NEEDINCOMING is true