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.actors
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 ObjectRoleExpression

Modifier and Type	Method and Description
ObjectRoleExpression	TranslationMachinery.getBottomObjectProperty()
ObjectRoleExpression	TranslationMachinery.getTopObjectProperty()
protected ObjectRoleExpression	TranslationMachinery.toObjectPropertyPointer(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

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	ExpressionManager.InverseRoleCache.build(ObjectRoleExpression tail)
ObjectRoleExpression	ExpressionManager.InverseRoleCache.get(ObjectRoleExpression tail) get an object corresponding to Head.Tail
ObjectRoleExpression	ExpressionManager.inverse(ObjectRoleExpression R)
ObjectRoleExpression	ExpressionManager.objectRole(String name) get named object role
ObjectRoleExpression	ExpressionManager.objectRoleBottom() get BOTTOM object role
ObjectRoleExpression	ExpressionManager.objectRoleTop() get TOP object role

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

Modifier and Type	Method and Description
ObjectRoleExpression	ExpressionManager.InverseRoleCache.build(ObjectRoleExpression tail)
ConceptExpression	ExpressionManager.cardinality(int n, ObjectRoleExpression R, ConceptExpression C) get exact cardinality restriction wrt number N, an object role R and a concept C
ConceptExpression	ExpressionManager.exists(ObjectRoleExpression R, ConceptExpression C) get existential restriction wrt an object role R and a concept C
ConceptExpression	ExpressionManager.forall(ObjectRoleExpression R, ConceptExpression C) get universal restriction wrt an object role R and a concept C
ObjectRoleExpression	ExpressionManager.InverseRoleCache.get(ObjectRoleExpression tail) get an object corresponding to Head.Tail
void	ReasoningKernel.getORoleDomain(ObjectRoleExpression r, boolean direct, Actor actor) apply actor__apply() to all DIRECT NC that are in the domain of [complex] R
List<Individual>	ReasoningKernel.getRoleFillers(IndividualExpression I, ObjectRoleExpression R)
void	ReasoningKernel.getRoleRange(ObjectRoleExpression r, boolean direct, Actor actor) apply actor__apply() to all DIRECT NC that are in the range of [complex] R
Axiom	ReasoningKernel.impliesORoles(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleComplexExpression R, ObjectRoleExpression S) axiom (R [= S)
ObjectRoleExpression	ExpressionManager.inverse(ObjectRoleExpression R)
boolean	ReasoningKernel.isAsymmetric(ObjectRoleExpression R)
boolean	ReasoningKernel.isDisjointRoles(ObjectRoleExpression R, ObjectRoleExpression S)
boolean	ReasoningKernel.isFunctional(ObjectRoleExpression R)
boolean	ReasoningKernel.isInverseFunctional(ObjectRoleExpression R)
boolean	ReasoningKernel.isIrreflexive(ObjectRoleExpression R)
boolean	ReasoningKernel.isReflexive(ObjectRoleExpression R)
boolean	ReasoningKernel.isRelated(IndividualExpression I, ObjectRoleExpression R, IndividualExpression J)
boolean	ReasoningKernel.isSubRoles(ObjectRoleComplexExpression R, ObjectRoleExpression S)
boolean	ReasoningKernel.isSymmetric(ObjectRoleExpression R)
boolean	ReasoningKernel.isTransitive(ObjectRoleExpression R)
ConceptExpression	ExpressionManager.maxCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get max cardinality restriction wrt number N, an object role R and a concept C
ConceptExpression	ExpressionManager.minCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get min cardinality restriction wrt number N, an object role R and a concept C
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
Axiom	ReasoningKernel.relatedTo(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ObjectRoleExpression R, IndividualExpression J) axiom :R
Axiom	ReasoningKernel.relatedToNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ObjectRoleExpression R, IndividualExpression J) axiom :\neg R
ConceptExpression	ExpressionManager.selfReference(ObjectRoleExpression R) get self-reference restriction of an object role R
Axiom	ReasoningKernel.setAsymmetric(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) AntySymmetric (R): disjoint(R,R^-)
Axiom	ReasoningKernel.setInverseFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) InverseFunctional (R)
Axiom	ReasoningKernel.setInverseRoles(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ObjectRoleExpression S) R = Inverse(S)
Axiom	ReasoningKernel.setIrreflexive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Irreflexive (R): Domain(R) = \neg ER.Self
Axiom	ReasoningKernel.setODomain(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ConceptExpression C) Domain (R C)
Axiom	ReasoningKernel.setOFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Functional (R)
Axiom	ReasoningKernel.setORange(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ConceptExpression C) Range (R C)
Axiom	ReasoningKernel.setReflexive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Reflexive (R)
Axiom	ReasoningKernel.setSymmetric(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Symmetric (R): R [= R^-
Axiom	ReasoningKernel.setTransitive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Transitive (R)
ConceptExpression	ExpressionManager.value(ObjectRoleExpression R, IndividualExpression I) get value restriction wrt an object role R and an individual I

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

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

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

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

Modifier and Type	Method and Description
Collection<Collection<ObjectRoleExpression>>	TaxonomyActor.getObjectPropertyElements() get 2D array of all required elements of the taxonomy
Collection<ObjectRoleExpression>	TaxonomyActor.getObjectPropertySynonyms()

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

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

Modifier and Type	Method and Description
ObjectRoleExpression	ObjectRoleProjectionInto.getOR()
ObjectRoleExpression	ObjectRoleProjectionFrom.getOR()
ObjectRoleExpression	ObjectRoleInverse.getOR() get access to the argument
ObjectRoleExpression	ConceptObjectValue.getOR()
ObjectRoleExpression	ConceptObjectSelf.getOR() get access to the argument
ObjectRoleExpression	ConceptObjectMinCardinality.getOR()
ObjectRoleExpression	ConceptObjectMaxCardinality.getOR()
ObjectRoleExpression	ConceptObjectForall.getOR()
ObjectRoleExpression	ConceptObjectExists.getOR()
ObjectRoleExpression	ConceptObjectExactCardinality.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)

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() access to role
ObjectRoleExpression	AxiomRelatedToNot.getRelation() access
ObjectRoleExpression	AxiomRelatedTo.getRelation() access
ObjectRoleExpression	AxiomSingleORole.getRole() access to role

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)
AxiomSingleORole(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)

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() get access to the argument