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

Packages that use ObjectRoleComplexExpression

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

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

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

Modifier and Type	Method and Description
static ObjectRoleComplexExpression	ExpressionManager.compose(List<ObjectRoleExpression> l)
static ObjectRoleComplexExpression	ExpressionManager.compose(ObjectRoleExpression e1, ObjectRoleExpression e2)
static ObjectRoleComplexExpression	ExpressionManager.projectFrom(ObjectRoleExpression r, ConceptExpression c)
static ObjectRoleComplexExpression	ExpressionManager.projectInto(ObjectRoleExpression r, ConceptExpression c)

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

Modifier and Type	Method and Description
boolean	ReasoningKernel.isSubChain(ObjectRoleComplexExpression r, List<ObjectRoleExpression> l)

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

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

Modifier and Type	Class and Description
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 ObjectRoleComplexExpression in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms that return ObjectRoleComplexExpression

Modifier and Type	Method and Description
ObjectRoleComplexExpression	AxiomORoleSubsumption.getSubRole()

Constructors in uk.ac.manchester.cs.jfact.kernel.dl.axioms with parameters of type ObjectRoleComplexExpression

Constructor and Description
AxiomORoleSubsumption(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleComplexExpression subRole, ObjectRoleExpression supRole)

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

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

Modifier and Type	Interface and Description
interface	ObjectRoleExpression object role expression