org.semanticweb.owlapi.model
Interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLObject

All Known Subinterfaces:

OWLDataProperty, OWLDataPropertyExpression, OWLObjectInverseOf, OWLObjectProperty, OWLObjectPropertyExpression, OWLProperty<R,P>

All Known Implementing Classes:

OWLDataPropertyImpl, OWLObjectInverseOfImpl, OWLObjectPropertyExpressionImpl, OWLObjectPropertyImpl, OWLPropertyExpressionImpl

public interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
extends OWLObject

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a property or possibly the inverse of a property.

Method Summary

void	accept(OWLPropertyExpressionVisitor visitor)
<O> O	accept(OWLPropertyExpressionVisitorEx<O> visitor)
java.util.Set<P>	getDisjointProperties(OWLOntology ontology)
java.util.Set<P>	getDisjointProperties(java.util.Set<OWLOntology> ontologies)
java.util.Set<OWLClassExpression>	getDomains(OWLOntology ontology) Gets the asserted domains of this property.
java.util.Set<OWLClassExpression>	getDomains(java.util.Set<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
java.util.Set<P>	getEquivalentProperties(OWLOntology ontology) Gets the asserted/told equivalent properties by examining the axioms in the specified ontology.
java.util.Set<P>	getEquivalentProperties(java.util.Set<OWLOntology> ontologies) Gets the asserted equivalent properties by examining the axioms in the specified ontologies.
java.util.Set<R>	getRanges(OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
java.util.Set<R>	getRanges(java.util.Set<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
java.util.Set<P>	getSubProperties(OWLOntology ontology) Gets the asserted/told sub properties by examining the axioms in the specified ontology.
java.util.Set<P>	getSubProperties(java.util.Set<OWLOntology> ontologies) Gets the asserted sub properties by examining the axioms in the specified ontologies.
java.util.Set<P>	getSuperProperties(OWLOntology ontology) Gets the asserted/told super properties by examining the axioms in the specified ontology.
java.util.Set<P>	getSuperProperties(java.util.Set<OWLOntology> ontologies) Gets the asserted super properties by examining the axioms in the specified set of ontologies.
boolean	isAnonymous() Determines if this property expression is anonymous.
boolean	isDataPropertyExpression()
boolean	isFunctional(OWLOntology ontology) Determines if this property is functional in the specified ontology
boolean	isFunctional(java.util.Set<OWLOntology> ontologies) Determines if the property is functional because there is an axiom in one of the specified ontologies that assert this to be the case.
boolean	isObjectPropertyExpression()
boolean	isOWLBottomDataProperty() Determines if this is the owl:bottomDataProperty
boolean	isOWLBottomObjectProperty() Determines if this is the owl:bottomObjectProperty
boolean	isOWLTopDataProperty() Determines if this is the owl:topDataProperty
boolean	isOWLTopObjectProperty() Determines if this is the owl:topObjectProperty

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

getDomains

java.util.Set<OWLClassExpression> getDomains(OWLOntology ontology)

Gets the asserted domains of this property.

Parameters:

ontology - The ontology that should be examined for axioms which assert a domain of this property

Returns:

A set of OWLClassExpressions corresponding to the domains of this property (the domain of the property is essentially the intersection of these class expressions).

getDomains

java.util.Set<OWLClassExpression> getDomains(java.util.Set<OWLOntology> ontologies)

Gets the asserted domains of this property by examining the axioms in the specified ontologies.

Parameters:

ontologies - The ontologies to be examined.

Returns:

A set of OWLClassExpressions that represent the asserted domains of this property.

getRanges

java.util.Set<R> getRanges(OWLOntology ontology)

Gets the ranges of this property that have been asserted in the specified ontology.

Parameters:

ontology - The ontology to be searched for axioms which assert a range for this property.

Returns:

A set of ranges for this property.

getRanges

java.util.Set<R> getRanges(java.util.Set<OWLOntology> ontologies)

Gets the asserted ranges of this property by examining the axioms in the specified ontologies.

Parameters:

ontologies - The ontologies to be examined for range axioms.

Returns:

A set of ranges for this property, which have been asserted by axioms in the specified ontologies.

getSuperProperties

java.util.Set<P> getSuperProperties(OWLOntology ontology)

Gets the asserted/told super properties by examining the axioms in the specified ontology.

Parameters:

ontology - The ontology which will be examined for subproperty axioms.

Returns:

A set of properties which represent the explicitly asserted/told superproperties of this property.

getSuperProperties

java.util.Set<P> getSuperProperties(java.util.Set<OWLOntology> ontologies)

Gets the asserted super properties by examining the axioms in the specified set of ontologies.

Parameters:

ontologies - The ontologies which will bne examined for axioms

Returns:

A set of properties which represent the asserted super properties of this property.

getSubProperties

java.util.Set<P> getSubProperties(OWLOntology ontology)

Gets the asserted/told sub properties by examining the axioms in the specified ontology.

Parameters:

ontology - The ontology which will be examined for subproperty axioms.

Returns:

A set of properties which represent the explicitly asserted/told subproperties of this property.

getSubProperties

java.util.Set<P> getSubProperties(java.util.Set<OWLOntology> ontologies)

Gets the asserted sub properties by examining the axioms in the specified ontologies.

Parameters:

ontologies - The ontologies which will be examined for subproperty axioms.

Returns:

A set of properties which represent the explicitly asserted subproperties of this property.

getEquivalentProperties

java.util.Set<P> getEquivalentProperties(OWLOntology ontology)

Gets the asserted/told equivalent properties by examining the axioms in the specified ontology.

Parameters:

ontology - The ontology which will be examined for equivalent properties axioms.

Returns:

A set of properties which represent the explicitly asserted/told equivalent properties of this property.

getEquivalentProperties

java.util.Set<P> getEquivalentProperties(java.util.Set<OWLOntology> ontologies)

Gets the asserted equivalent properties by examining the axioms in the specified ontologies.

Parameters:

ontologies - The ontologies which will be examined for equivalent properties axioms.

Returns:

A set of properties which represent the explicitly asserted/told equivalent properties of this property.

getDisjointProperties

java.util.Set<P> getDisjointProperties(OWLOntology ontology)

getDisjointProperties

java.util.Set<P> getDisjointProperties(java.util.Set<OWLOntology> ontologies)

isFunctional

boolean isFunctional(OWLOntology ontology)

Determines if this property is functional in the specified ontology

Parameters:

ontology - The ontology to be tested for a functional property axiom.

Returns:

true if the specified ontology contains an axiom stating that the property is functional, other wise false.

isFunctional

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

Determines if the property is functional because there is an axiom in one of the specified ontologies that assert this to be the case.

Parameters:

ontologies - The ontologies which will be searched for axioms which specify that this property is fuctional.

Returns:

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

isAnonymous

boolean isAnonymous()

Determines if this property expression is anonymous.

Returns:

true if the property expression is anonymous (because it is the inverse of a property). false if this property is a named object property or named data property.

accept

void accept(OWLPropertyExpressionVisitor visitor)

accept

<O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)

isDataPropertyExpression

boolean isDataPropertyExpression()

isObjectPropertyExpression

boolean isObjectPropertyExpression()

isOWLTopObjectProperty

boolean isOWLTopObjectProperty()

Determines if this is the owl:topObjectProperty

Returns:

true if this property is the owl:topObjectProperty otherwise false

isOWLBottomObjectProperty

boolean isOWLBottomObjectProperty()

Determines if this is the owl:bottomObjectProperty

Returns:

true if this property is the owl:bottomObjectProperty otherwise false

isOWLTopDataProperty

boolean isOWLTopDataProperty()

Determines if this is the owl:topDataProperty

Returns:

true if this property is the owl:topDataProperty otherwise false

isOWLBottomDataProperty

boolean isOWLBottomDataProperty()

Determines if this is the owl:bottomDataProperty

Returns:

true if this property is the owl:bottomDataProperty otherwise false