Uses of Interface
org.semanticweb.owlapi.model.OWLObjectPropertyExpression

Packages that use OWLObjectPropertyExpression

Package	Description
org.semanticweb.owlapi.model
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.reasoner.knowledgeexploration
org.semanticweb.owlapi.util

Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.model

Subinterfaces of OWLObjectPropertyExpression in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLObjectInverseOf Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a ObjectInverseOf property expression in the OWL 2 Specification.
interface	OWLObjectProperty Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an Object Property in the OWL 2 Specification.

Methods in org.semanticweb.owlapi.model that return OWLObjectPropertyExpression

Modifier and Type	Method and Description
OWLObjectPropertyExpression	OWLInverseObjectPropertiesAxiom.getFirstProperty()
OWLObjectPropertyExpression	OWLObjectInverseOf.getInverse() Gets the property expression that this is the inverse of.
OWLObjectPropertyExpression	OWLObjectPropertyExpression.getInverseProperty() Obtains the property that corresponds to the inverse of this property.
OWLObjectPropertyExpression	SWRLObjectPropertyAtom.getPredicate() Gets the predicate of this atom
OWLObjectPropertyExpression	OWLInverseObjectPropertiesAxiom.getSecondProperty()
OWLObjectPropertyExpression	OWLObjectPropertyExpression.getSimplified() Returns this property in its simplified form.
OWLObjectPropertyExpression	OWLSubPropertyChainOfAxiom.getSuperProperty() Gets the super property of this axiom

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
Set<OWLObjectPropertyExpression>	OWLObjectPropertyExpression.getInverses(OWLOntology ontology)
Set<OWLObjectPropertyExpression>	OWLObjectPropertyExpression.getInverses(Set<OWLOntology> ontologies)
Map<OWLObjectPropertyExpression,Set<OWLIndividual>>	OWLIndividual.getNegativeObjectPropertyValues(OWLOntology ontology) Gets the object property values that are explicitly asserted NOT to hold for this individual
Set<OWLObjectPropertyExpression>	OWLHasKeyAxiom.getObjectPropertyExpressions() Gets the set of object property expressions that make up the key.
Map<OWLObjectPropertyExpression,Set<OWLIndividual>>	OWLIndividual.getObjectPropertyValues(OWLOntology ontology) Gets the object property values for this individual.
List<OWLObjectPropertyExpression>	OWLSubPropertyChainOfAxiom.getPropertyChain() Gets the chain of properties that represents the subproperty in this axiom.

Methods in org.semanticweb.owlapi.model with parameters of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
Set<OWLAsymmetricObjectPropertyAxiom>	OWLOntology.getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property asymmetric.
Set<OWLObjectPropertyAxiom>	OWLOntology.getAxioms(OWLObjectPropertyExpression prop) Gets the axioms that form the definition/description of an object property.
Set<OWLDisjointObjectPropertiesAxiom>	OWLOntology.getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property) Gets the OWLDisjointObjectPropertiesAxioms that make the specified property disjoint with some other object property expression(s).
Set<OWLEquivalentObjectPropertiesAxiom>	OWLOntology.getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property) Gets the OWLEquivalentObjectPropertiesAxioms that make the specified property equivalent to some other object property expression(s).
Set<OWLFunctionalObjectPropertyAxiom>	OWLOntology.getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property functional.
Set<OWLInverseFunctionalObjectPropertyAxiom>	OWLOntology.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.
Set<OWLInverseObjectPropertiesAxiom>	OWLOntology.getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.getProperties().
Set<OWLIrreflexiveObjectPropertyAxiom>	OWLOntology.getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.
Set<OWLObjectPropertyDomainAxiom>	OWLOntology.getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property) Gets the OWLObjectPropertyDomainAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.
Set<OWLObjectPropertyRangeAxiom>	OWLOntology.getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property) Gets the OWLObjectPropertyRangeAxioms where the property (returned by OWLUnaryPropertyAxiom.getProperty()) is equal to the specified property.
Set<OWLIndividual>	OWLIndividual.getObjectPropertyValues(OWLObjectPropertyExpression property, OWLOntology ontology) Gets the asserted object property values for this individual and the specified property.
Set<OWLSubObjectPropertyOfAxiom>	OWLOntology.getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty) Gets the OWLSubObjectPropertyOfAxioms where the sub-property is equal to the specified property.
Set<OWLSubObjectPropertyOfAxiom>	OWLOntology.getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty) Gets the OWLSubObjectPropertyOfAxioms where the super-property (returned by OWLSubPropertyAxiom.getSuperProperty()) is equal to the specified property.
OWLAsymmetricObjectPropertyAxiom	OWLDataFactory.getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)
OWLAsymmetricObjectPropertyAxiom	OWLDataFactory.getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression, Set<? extends OWLAnnotation> annotations)
OWLDisjointObjectPropertiesAxiom	OWLDataFactory.getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
OWLEquivalentObjectPropertiesAxiom	OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
OWLEquivalentObjectPropertiesAxiom	OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB)
OWLEquivalentObjectPropertiesAxiom	OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB, Set<? extends OWLAnnotation> annotations)
OWLFunctionalObjectPropertyAxiom	OWLDataFactory.getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLFunctionalObjectPropertyAxiom	OWLDataFactory.getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)
OWLInverseFunctionalObjectPropertyAxiom	OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom	OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)
OWLInverseObjectPropertiesAxiom	OWLDataFactory.getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty)
OWLInverseObjectPropertiesAxiom	OWLDataFactory.getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Set<? extends OWLAnnotation> annotations)
OWLIrreflexiveObjectPropertyAxiom	OWLDataFactory.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom	OWLDataFactory.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)
OWLNegativeObjectPropertyAssertionAxiom	OWLDataFactory.getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object)
OWLNegativeObjectPropertyAssertionAxiom	OWLDataFactory.getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, Set<? extends OWLAnnotation> annotations)
OWLObjectAllValuesFrom	OWLDataFactory.getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectExactCardinality	OWLDataFactory.getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property)
OWLObjectExactCardinality	OWLDataFactory.getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectHasSelf	OWLDataFactory.getOWLObjectHasSelf(OWLObjectPropertyExpression property)
OWLObjectHasValue	OWLDataFactory.getOWLObjectHasValue(OWLObjectPropertyExpression property, OWLIndividual individual)
OWLObjectInverseOf	OWLDataFactory.getOWLObjectInverseOf(OWLObjectPropertyExpression property) Gets the inverse of an object property.
OWLObjectMaxCardinality	OWLDataFactory.getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property)
OWLObjectMaxCardinality	OWLDataFactory.getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectMinCardinality	OWLDataFactory.getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property)
OWLObjectMinCardinality	OWLDataFactory.getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyAssertionAxiom	OWLDataFactory.getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object)
OWLObjectPropertyAssertionAxiom	OWLDataFactory.getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object, Set<? extends OWLAnnotation> annotations)
OWLObjectPropertyDomainAxiom	OWLDataFactory.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyDomainAxiom	OWLDataFactory.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Set<? extends OWLAnnotation> annotations)
OWLObjectPropertyRangeAxiom	OWLDataFactory.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range)
OWLObjectPropertyRangeAxiom	OWLDataFactory.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, Set<? extends OWLAnnotation> annotations)
OWLObjectSomeValuesFrom	OWLDataFactory.getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression) Gets an OWLObjectSomeValuesFrom restriction
OWLReflexiveObjectPropertyAxiom	OWLDataFactory.getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLReflexiveObjectPropertyAxiom	OWLDataFactory.getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)
OWLSubObjectPropertyOfAxiom	OWLDataFactory.getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty)
OWLSubObjectPropertyOfAxiom	OWLDataFactory.getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Set<? extends OWLAnnotation> annotations)
OWLSubPropertyChainOfAxiom	OWLDataFactory.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
OWLSubPropertyChainOfAxiom	OWLDataFactory.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Set<? extends OWLAnnotation> annotations)
OWLSymmetricObjectPropertyAxiom	OWLDataFactory.getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLSymmetricObjectPropertyAxiom	OWLDataFactory.getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)
OWLTransitiveObjectPropertyAxiom	OWLDataFactory.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom	OWLDataFactory.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)
Set<OWLReflexiveObjectPropertyAxiom>	OWLOntology.getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.
SWRLObjectPropertyAtom	SWRLDataFactory.getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLIArgument arg0, SWRLIArgument arg1) Gets a SWRL object property atom, i.e.
Set<OWLSymmetricObjectPropertyAxiom>	OWLOntology.getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.
Set<OWLTransitiveObjectPropertyAxiom>	OWLOntology.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.
boolean	OWLIndividual.hasNegativeObjectPropertyValue(OWLObjectPropertyExpression property, OWLIndividual individual, OWLOntology ontology) Test whether a specific value for a specific object property has been asserted not to hold for this individual.
boolean	OWLIndividual.hasObjectPropertyValue(OWLObjectPropertyExpression property, OWLIndividual individual, OWLOntology ontology) Test whether a specific value for a specific object property on this individual has been asserted.

Method parameters in org.semanticweb.owlapi.model with type arguments of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
OWLDisjointObjectPropertiesAxiom	OWLDataFactory.getOWLDisjointObjectPropertiesAxiom(Set<? extends OWLObjectPropertyExpression> properties)
OWLDisjointObjectPropertiesAxiom	OWLDataFactory.getOWLDisjointObjectPropertiesAxiom(Set<? extends OWLObjectPropertyExpression> properties, Set<? extends OWLAnnotation> annotations)
OWLEquivalentObjectPropertiesAxiom	OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom(Set<? extends OWLObjectPropertyExpression> properties)
OWLEquivalentObjectPropertiesAxiom	OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom(Set<? extends OWLObjectPropertyExpression> properties, Set<? extends OWLAnnotation> annotations)
OWLSubPropertyChainOfAxiom	OWLDataFactory.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
OWLSubPropertyChainOfAxiom	OWLDataFactory.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Set<? extends OWLAnnotation> annotations)

Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles that return OWLObjectPropertyExpression

Modifier and Type	Method and Description
OWLObjectPropertyExpression	UseOfPropertyInChainCausesCycle.getOWLObjectProperty()
OWLObjectPropertyExpression	UseOfNonSimplePropertyInDisjointPropertiesAxiom.getOWLObjectProperty()
OWLObjectPropertyExpression	UseOfObjectPropertyInverse.getOWLPropertyExpression()

Methods in org.semanticweb.owlapi.profiles that return types with arguments of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
Set<OWLObjectPropertyExpression>	OWL2ProfileReport.getNonSimpleRoles()
Set<OWLObjectPropertyExpression>	OWL2ProfileReport.getSimpleRoles()

Constructors in org.semanticweb.owlapi.profiles with parameters of type OWLObjectPropertyExpression

Constructor and Description
UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology, OWLDisjointObjectPropertiesAxiom axiom, OWLObjectPropertyExpression prop)
UseOfObjectPropertyInverse(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression propertyExpression)
UseOfPropertyInChainCausesCycle(OWLOntology ontology, OWLSubPropertyChainOfAxiom axiom, OWLObjectPropertyExpression property)

Constructor parameters in org.semanticweb.owlapi.profiles with type arguments of type OWLObjectPropertyExpression

Constructor and Description
OWL2ProfileReport(OWLProfile profile, Set<OWLProfileViolation> disallowedConstructs, Set<OWLObjectPropertyExpression> nonSimpleRoles, Set<OWLObjectPropertyExpression> simpleRoles)
OWL2ProfileReport(OWLProfile profile, Set<OWLProfileViolation> disallowedConstructs, Set<OWLObjectPropertyExpression> nonSimpleRoles, Set<OWLObjectPropertyExpression> simpleRoles)

Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that return types with arguments of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
Node<OWLObjectPropertyExpression>	OWLReasoner.getBottomObjectPropertyNode() Gets the Node corresponding to the bottom node (containing owl:bottomObjectProperty) in the object property hierarchy.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe) Gets the simplified object property expressions that are disjoint with the specified object property expression pe.
Node<OWLObjectPropertyExpression>	OWLReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe) Gets the set of simplified object property expressions that are equivalent to the specified object property expression with respect to the set of reasoner axioms.
Node<OWLObjectPropertyExpression>	OWLReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe) Gets the set of simplified object property expressions that are the inverses of the specified object property expression with respect to the imports closure of the root ontology.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe, boolean direct) Gets the set of simplified object property expressions that are the strict (potentially direct) subproperties of the specified object property expression with respect to the imports closure of the root ontology.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe, boolean direct) Gets the set of simplified object property expressions that are the strict (potentially direct) super properties of the specified object property expression with respect to the imports closure of the root ontology.
Node<OWLObjectPropertyExpression>	OWLReasoner.getTopObjectPropertyNode() Gets the Node corresponding to the top node (containing owl:topObjectProperty) in the object property hierarchy.

Methods in org.semanticweb.owlapi.reasoner with parameters of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe) Gets the simplified object property expressions that are disjoint with the specified object property expression pe.
Node<OWLObjectPropertyExpression>	OWLReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe) Gets the set of simplified object property expressions that are equivalent to the specified object property expression with respect to the set of reasoner axioms.
Node<OWLObjectPropertyExpression>	OWLReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe) Gets the set of simplified object property expressions that are the inverses of the specified object property expression with respect to the imports closure of the root ontology.
NodeSet<OWLClass>	OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct) Gets the named classes that are the direct or indirect domains of this property with respect to the imports closure of the root ontology.
NodeSet<OWLClass>	OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) Gets the named classes that are the direct or indirect ranges of this property with respect to the imports closure of the root ontology.
NodeSet<OWLNamedIndividual>	OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind, OWLObjectPropertyExpression pe) Gets the object property values for the specified individual and object property expression.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe, boolean direct) Gets the set of simplified object property expressions that are the strict (potentially direct) subproperties of the specified object property expression with respect to the imports closure of the root ontology.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe, boolean direct) Gets the set of simplified object property expressions that are the strict (potentially direct) super properties of the specified object property expression with respect to the imports closure of the root ontology.

Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.reasoner.knowledgeexploration

Methods in org.semanticweb.owlapi.reasoner.knowledgeexploration that return types with arguments of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
Node<? extends OWLObjectPropertyExpression>	OWLKnowledgeExplorerReasoner.getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)

Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.util

Methods in org.semanticweb.owlapi.util that return OWLObjectPropertyExpression

Modifier and Type	Method and Description
OWLObjectPropertyExpression	ObjectPropertySimplifier.getSimplified(OWLObjectPropertyExpression prop) Gets an object property expression in its simplest form.

Methods in org.semanticweb.owlapi.util that return types with arguments of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
Set<OWLObjectPropertyExpression>	OWLObjectPropertyManager.getCompositeProperties()
Collection<Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getEquivalentObjectProperties()
static Collection<Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getEquivalentObjectProperties(Set<OWLOntology> ontologies)
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure()
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure()
Set<OWLObjectPropertyExpression>	OWLObjectPropertyManager.getNonSimpleProperties()
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getPropertyHierarchy() The object property hierarchy relation -> is the smallest relation on object property expressions for which the following conditions hold (A -> B means that -> holds for A and B): if Ax contains an axiom SubObjectPropertyOf(PE1 PE2), then PE1 -> PE2 holds; and if Ax contains an axiom EquivalentObjectProperties(PE1 PE2), then PE1 -> PE2 and PE2 -> PE1 hold; and if Ax contains an axiom InverseObjectProperties(PE1 PE2), then PE1 -> INV(PE2) and INV(PE2) -> PE1 hold; and if Ax contains an axiom SymmetricObjectProperty(PE), then PE -> INV(PE) holds; and if PE1 -> PE2 holds, then INV(PE1) -> INV(PE2) holds as well.
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getPropertyHierarchy() The object property hierarchy relation -> is the smallest relation on object property expressions for which the following conditions hold (A -> B means that -> holds for A and B): if Ax contains an axiom SubObjectPropertyOf(PE1 PE2), then PE1 -> PE2 holds; and if Ax contains an axiom EquivalentObjectProperties(PE1 PE2), then PE1 -> PE2 and PE2 -> PE1 hold; and if Ax contains an axiom InverseObjectProperties(PE1 PE2), then PE1 -> INV(PE2) and INV(PE2) -> PE1 hold; and if Ax contains an axiom SymmetricObjectProperty(PE), then PE -> INV(PE) holds; and if PE1 -> PE2 holds, then INV(PE1) -> INV(PE2) holds as well.
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getPropertyPartialOrdering()
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getPropertyPartialOrdering()

Methods in org.semanticweb.owlapi.util with parameters of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
OWLObjectPropertyExpression	ObjectPropertySimplifier.getSimplified(OWLObjectPropertyExpression prop) Gets an object property expression in its simplest form.
boolean	OWLObjectPropertyManager.isComposite(OWLObjectPropertyExpression expression) An object property expression PE is composite in Ax if Ax contains an axiom of the form SubObjectPropertyOf(SubObjectPropertyChain(PE1 ...
boolean	OWLObjectPropertyManager.isLessThan(OWLObjectPropertyExpression propA, OWLObjectPropertyExpression propB)
boolean	OWLObjectPropertyManager.isNonSimple(OWLObjectPropertyExpression expression) The relation ->* is the reflexive-transitive closure of ->.
boolean	OWLObjectPropertyManager.isSubPropertyOf(OWLObjectPropertyExpression sub, OWLObjectPropertyExpression sup) Tests to see if one property is a sub property of another property in the reflexive transitive closure of the property hierarchy
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)

Method parameters in org.semanticweb.owlapi.util with type arguments of type OWLObjectPropertyExpression

Modifier and Type	Method and Description
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)