org.semanticweb.owlapi.model
Interface OWLObjectPropertyExpression

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLObject, OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, SWRLPredicate

All Known Subinterfaces:

OWLObjectInverseOf, OWLObjectProperty

All Known Implementing Classes:

OWLObjectInverseOfImpl, OWLObjectPropertyExpressionImpl, OWLObjectPropertyImpl

public interface OWLObjectPropertyExpression
extends OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, SWRLPredicate

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Method Summary

OWLObjectProperty	asOWLObjectProperty() If the property is a named object property then this method will obtain the property as such.
OWLObjectPropertyExpression	getInverseProperty() Obtains the property that corresponds to the inverse of this property.
java.util.Set<OWLObjectPropertyExpression>	getInverses(OWLOntology ontology)
java.util.Set<OWLObjectPropertyExpression>	getInverses(java.util.Set<OWLOntology> ontologies)
OWLObjectProperty	getNamedProperty() Get the named object property used in this property expression.
OWLObjectPropertyExpression	getSimplified() Returns this property in its simplified form.
boolean	isAsymmetric(OWLOntology ontology)
boolean	isAsymmetric(java.util.Set<OWLOntology> ontologies)
boolean	isInverseFunctional(OWLOntology ontology) Determines if the specified ontology specifies that this property is inverse functional.
boolean	isInverseFunctional(java.util.Set<OWLOntology> ontologies)
boolean	isIrreflexive(OWLOntology ontology)
boolean	isIrreflexive(java.util.Set<OWLOntology> ontologies)
boolean	isReflexive(OWLOntology ontology)
boolean	isReflexive(java.util.Set<OWLOntology> ontologies)
boolean	isSymmetric(OWLOntology ontology)
boolean	isSymmetric(java.util.Set<OWLOntology> ontologies)
boolean	isTransitive(OWLOntology ontology)
boolean	isTransitive(java.util.Set<OWLOntology> ontologies)

Methods inherited from interface org.semanticweb.owlapi.model.OWLPropertyExpression

accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

isInverseFunctional

boolean isInverseFunctional(OWLOntology ontology)

Determines if the specified ontology specifies that this property is inverse functional.

Parameters:

ontology - The ontology to be tested for an inverse functional property axiom.

Returns:

true if the property is inverse functional, or false if the property is not inverse functional.

isInverseFunctional

boolean isInverseFunctional(java.util.Set<OWLOntology> ontologies)

isSymmetric

boolean isSymmetric(OWLOntology ontology)

isSymmetric

boolean isSymmetric(java.util.Set<OWLOntology> ontologies)

isAsymmetric

boolean isAsymmetric(OWLOntology ontology)

isAsymmetric

boolean isAsymmetric(java.util.Set<OWLOntology> ontologies)

isReflexive

boolean isReflexive(OWLOntology ontology)

isReflexive

boolean isReflexive(java.util.Set<OWLOntology> ontologies)

isIrreflexive

boolean isIrreflexive(OWLOntology ontology)

isIrreflexive

boolean isIrreflexive(java.util.Set<OWLOntology> ontologies)

isTransitive

boolean isTransitive(OWLOntology ontology)

isTransitive

boolean isTransitive(java.util.Set<OWLOntology> ontologies)

getInverses

java.util.Set<OWLObjectPropertyExpression> getInverses(OWLOntology ontology)

getInverses

java.util.Set<OWLObjectPropertyExpression> getInverses(java.util.Set<OWLOntology> ontologies)

asOWLObjectProperty

OWLObjectProperty asOWLObjectProperty()

If the property is a named object property then this method will obtain the property as such. The general pattern of use is that the isAnonymous method should first be used to determine if the property is named (i.e. not an object property expression such as inv(p)). If the property is named then this method may be used to obtain the property as a named property without casting.

Returns:

The property as an OWLObjectProperty if possible.

Throws:

OWLRuntimeException - if the property is not a named property.

getInverseProperty

OWLObjectPropertyExpression getInverseProperty()

Obtains the property that corresponds to the inverse of this property.

Returns:

The inverse of this property. Note that this property will not necessarily be in the simplest form.

getSimplified

OWLObjectPropertyExpression getSimplified()

Returns this property in its simplified form.

Returns:

Let p be a property name and PE an object property expression. The simplification, 'simp', is defined as follows: simp(p) = p simp(inv(p)) = inv(p) simp(inv(inv(PE)) = simp(PE)

getNamedProperty

OWLObjectProperty getNamedProperty()

Get the named object property used in this property expression.

Returns:

P if simp(PE) = inv(P) or P if simp(PE) = P.