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
ObjectRoleComplexExpression	ExpressionManager.compose(Expression e1, Expression e2)
ObjectRoleComplexExpression	ExpressionManager.compose(List<Expression> l) get a role chain corresponding to R1 o ...
ObjectRoleComplexExpression	ExpressionManager.projectFrom(ObjectRoleExpression R, ConceptExpression C) get a expression corresponding to R projected from C
ObjectRoleComplexExpression	ExpressionManager.projectInto(ObjectRoleExpression R, ConceptExpression C) get a expression corresponding to R projected into C

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

Modifier and Type	Method and Description
Axiom	ReasoningKernel.impliesORoles(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleComplexExpression R, ObjectRoleExpression S) axiom (R [= S)
boolean	ReasoningKernel.isSubChain(ObjectRoleComplexExpression R, List<ObjectRoleExpression> l)
boolean	ReasoningKernel.isSubRoles(ObjectRoleComplexExpression R, ObjectRoleExpression S)

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
class	ObjectRoleChain
class	ObjectRoleInverse
class	ObjectRoleName
class	ObjectRoleProjectionFrom
class	ObjectRoleProjectionInto
class	ObjectRoleTop

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() access to role

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