org.semanticweb.owl.model
Interface OWLObjectPropertyExpression

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLObject, OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

All Known Subinterfaces:

OWLObjectProperty, OWLObjectPropertyInverse

public interface OWLObjectPropertyExpression
extends OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

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.
java.util.Set<OWLObjectPropertyExpression>	getInverses(OWLOntology ontology)
java.util.Set<OWLObjectPropertyExpression>	getInverses(java.util.Set<OWLOntology> ontologies)
boolean	isAntiSymmetric(OWLOntology ontology)
boolean	isAntiSymmetric(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.owl.model.OWLPropertyExpression

accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isFunctional, isFunctional

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

accept, accept

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)

isAntiSymmetric

boolean isAntiSymmetric(OWLOntology ontology)

isAntiSymmetric

boolean isAntiSymmetric(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.