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

Packages that use ObjectRoleExpression

Package	Description
uk.ac.manchester.cs.jfact
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 ObjectRoleExpression in uk.ac.manchester.cs.jfact

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

Modifier and Type	Method and Description
Set<ObjectRoleExpression>	KnowledgeExplorer.getObjectRoles(DlCompletionTree node, boolean onlyDet, boolean needIncoming)

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

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

Modifier and Type	Method and Description
ObjectRoleExpression	ExpressionCache.inverse(ObjectRoleExpression r)
static ObjectRoleExpression	ExpressionManager.objectRoleBottom()
static ObjectRoleExpression	ExpressionManager.objectRoleTop()

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type ObjectRoleExpression

Modifier and Type	Method and Description
Set<ObjectRoleExpression>	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 ObjectRoleExpression

Modifier and Type	Method and Description
static ConceptExpression	ExpressionManager.cardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ObjectRoleComplexExpression	ExpressionManager.compose(ObjectRoleExpression e1, ObjectRoleExpression e2)
static ConceptExpression	ExpressionManager.exists(ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.forall(ObjectRoleExpression r, ConceptExpression c)
<T extends ConceptExpression> TaxonomyActor<T>	ReasoningKernel.getORoleDomain(ObjectRoleExpression r, boolean direct, TaxonomyActor<T> actor) apply actor__apply() to all DIRECT NC that are in the domain of [complex] R
List<Individual>	ReasoningKernel.getRoleFillers(IndividualExpression i, ObjectRoleExpression r)
ObjectRoleExpression	ExpressionCache.inverse(ObjectRoleExpression r)
boolean	ReasoningKernel.isAsymmetric(ObjectRoleExpression r)
boolean	ReasoningKernel.isDisjointRoles(ObjectRoleExpression or, ObjectRoleExpression os)
boolean	ReasoningKernel.isFunctional(ObjectRoleExpression r)
boolean	ReasoningKernel.isInverseFunctional(ObjectRoleExpression r)
boolean	ReasoningKernel.isIrreflexive(ObjectRoleExpression r)
boolean	ReasoningKernel.isReflexive(ObjectRoleExpression r)
boolean	ReasoningKernel.isSymmetric(ObjectRoleExpression r)
boolean	ReasoningKernel.isTransitive(ObjectRoleExpression r)
static ConceptExpression	ExpressionManager.maxCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.minCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ObjectRoleComplexExpression	ExpressionManager.projectFrom(ObjectRoleExpression r, ConceptExpression c)
static ObjectRoleComplexExpression	ExpressionManager.projectInto(ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.selfReference(ObjectRoleExpression r)
static ConceptExpression	ExpressionManager.value(ObjectRoleExpression r, IndividualExpression i)

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

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

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

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

Modifier and Type	Class and Description
class	ObjectRoleBottom bottom object role
class	ObjectRoleInverse object role inverse
class	ObjectRoleName object role
class	ObjectRoleTop object role top

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

Modifier and Type	Method and Description
ObjectRoleExpression	ObjectRoleInverse.getOR() get access to the argument
ObjectRoleExpression	ConceptObjectValue.getOR()
ObjectRoleExpression	ConceptObjectMinCardinality.getOR()
ObjectRoleExpression	ConceptObjectForall.getOR()
ObjectRoleExpression	ConceptObjectMaxCardinality.getOR()
ObjectRoleExpression	ConceptObjectSelf.getOR() get access to the argument
ObjectRoleExpression	ConceptObjectExactCardinality.getOR()
ObjectRoleExpression	ObjectRoleProjectionInto.getOR()
ObjectRoleExpression	ConceptObjectExists.getOR()
ObjectRoleExpression	ObjectRoleProjectionFrom.getOR()

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

Constructor and Description
ConceptObjectExactCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
ConceptObjectExists(ObjectRoleExpression r, ConceptExpression c)
ConceptObjectForall(ObjectRoleExpression r, ConceptExpression c)
ConceptObjectMaxCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
ConceptObjectMinCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
ConceptObjectSelf(ObjectRoleExpression r)
ConceptObjectValue(ObjectRoleExpression r, IndividualExpression i)
ObjectRoleInverse(ObjectRoleExpression r)
ObjectRoleProjectionFrom(ObjectRoleExpression r, ConceptExpression c)
ObjectRoleProjectionInto(ObjectRoleExpression r, ConceptExpression c)

Constructor parameters in uk.ac.manchester.cs.jfact.kernel.dl with type arguments of type ObjectRoleExpression

Constructor and Description
ObjectRoleChain(List<ObjectRoleExpression> v) create role chain from given array

Uses of ObjectRoleExpression in uk.ac.manchester.cs.jfact.kernel.dl.axioms

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

Modifier and Type	Method and Description
ObjectRoleExpression	AxiomRoleInverse.getInvRole()
ObjectRoleExpression	AxiomRelatedToNot.getRelation()
ObjectRoleExpression	AxiomRelatedTo.getRelation()
ObjectRoleExpression	AxiomSingleORole.getRole()

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

Constructor and Description
AxiomORoleDomain(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role, ConceptExpression domain)
AxiomORoleFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)
AxiomORoleRange(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role, ConceptExpression range)
AxiomORoleSubsumption(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleComplexExpression subRole, ObjectRoleExpression supRole)
AxiomRelatedTo(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, ObjectRoleExpression r, IndividualExpression j)
AxiomRelatedToNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, ObjectRoleExpression r, IndividualExpression j)
AxiomRoleAsymmetric(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)
AxiomRoleInverse(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression dirRole, ObjectRoleExpression invRole)
AxiomRoleInverseFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)
AxiomRoleIrreflexive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)
AxiomRoleReflexive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)
AxiomRoleSymmetric(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)
AxiomRoleTransitive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)

Constructor parameters in uk.ac.manchester.cs.jfact.kernel.dl.axioms with type arguments of type ObjectRoleExpression

Constructor and Description
AxiomDisjointORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<ObjectRoleExpression> v)
AxiomEquivalentORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<ObjectRoleExpression> v)

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

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces that return ObjectRoleExpression

Modifier and Type	Method and Description
ObjectRoleExpression	ObjectRoleArg.getOR()