uk.ac.manchester.cs.owl.owlapi

Class OWLPropertyExpressionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLPropertyExpressionImpl<R,P>

Type Parameters:

R - range type

P - property type

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLObject, OWLPropertyExpression<R,P>

Direct Known Subclasses:

OWLDataPropertyImpl, OWLObjectPropertyExpressionImpl

public abstract class OWLPropertyExpressionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
extends OWLObjectImpl
implements OWLPropertyExpression<R,P>

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 26-Oct-2006

See Also:

Serialized Form

Property Summary

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

isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

Field Summary

Fields inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLPropertyExpressionImpl() default constructor

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Set<P>	getDisjointProperties(OWLOntology ontology)
Set<P>	getDisjointProperties(Set<OWLOntology> ontologies)
protected abstract Set<? extends OWLNaryPropertyAxiom<P>>	getDisjointPropertiesAxioms(OWLOntology ontology)
protected abstract Set<? extends OWLPropertyDomainAxiom<?>>	getDomainAxioms(OWLOntology ontology)
Set<OWLClassExpression>	getDomains(OWLOntology ontology) Gets the asserted domains of this property.
Set<OWLClassExpression>	getDomains(Set<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
Set<P>	getEquivalentProperties(OWLOntology ontology) Gets the asserted/told equivalent properties by examining the axioms in the specified ontology.
Set<P>	getEquivalentProperties(Set<OWLOntology> ontologies) Gets the asserted equivalent properties by examining the axioms in the specified ontologies.
protected abstract Set<? extends OWLNaryPropertyAxiom<P>>	getEquivalentPropertiesAxioms(OWLOntology ontology)
protected abstract Set<? extends OWLPropertyRangeAxiom<P,R>>	getRangeAxioms(OWLOntology ontology)
Set<R>	getRanges(OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
Set<R>	getRanges(Set<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
Set<P>	getSubProperties(OWLOntology ontology) Gets the asserted/told sub properties by examining the axioms in the specified ontology.
Set<P>	getSubProperties(Set<OWLOntology> ontologies) Gets the asserted sub properties by examining the axioms in the specified ontologies.
protected abstract Set<? extends OWLSubPropertyAxiom<P>>	getSubPropertyAxioms(OWLOntology ontology)
protected abstract Set<? extends OWLSubPropertyAxiom<P>>	getSubPropertyAxiomsForRHS(OWLOntology ont)
Set<P>	getSuperProperties(OWLOntology ontology) Gets the asserted/told super properties by examining the axioms in the specified ontology.
Set<P>	getSuperProperties(Set<OWLOntology> ontologies) Gets the asserted super properties by examining the axioms in the specified set of ontologies.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareLists, compareObjectOfSameType, compareSets, compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, isAnonymous, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

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

Methods inherited from interface java.lang.Comparable

compareTo

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

containsEntityInSignature

Constructor Detail

OWLPropertyExpressionImpl

public OWLPropertyExpressionImpl()

default constructor

Method Detail

getRanges

public Set<R> getRanges(OWLOntology ontology)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getRanges in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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

public Set<R> getRanges(Set<OWLOntology> ontologies)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getRanges in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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.

getDomains

public Set<OWLClassExpression> getDomains(OWLOntology ontology)

Description copied from interface: OWLPropertyExpression

Gets the asserted domains of this property.

Specified by:

getDomains in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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

public Set<OWLClassExpression> getDomains(Set<OWLOntology> ontologies)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getDomains in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

Parameters:

ontologies - The ontologies to be examined.

Returns:

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

getSuperProperties

public Set<P> getSuperProperties(OWLOntology ontology)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getSuperProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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

public Set<P> getSuperProperties(Set<OWLOntology> ontologies)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getSuperProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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

public Set<P> getSubProperties(OWLOntology ontology)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getSubProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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

public Set<P> getSubProperties(Set<OWLOntology> ontologies)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getSubProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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.

getSubPropertyAxiomsForRHS

protected abstract Set<? extends OWLSubPropertyAxiom<P>> getSubPropertyAxiomsForRHS(OWLOntology ont)

getEquivalentProperties

public Set<P> getEquivalentProperties(OWLOntology ontology)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getEquivalentProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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

public Set<P> getEquivalentProperties(Set<OWLOntology> ontologies)

Description copied from interface: OWLPropertyExpression

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

Specified by:

getEquivalentProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

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

public Set<P> getDisjointProperties(OWLOntology ontology)

Specified by:

getDisjointProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

Parameters:

ontology - the ontology to use

Returns:

the properties disjoint with this one declared in ontology

getDisjointProperties

public Set<P> getDisjointProperties(Set<OWLOntology> ontologies)

Specified by:

getDisjointProperties in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>

Parameters:

ontologies - the ontologies to use

Returns:

the properties disjoint with this one declared in ontologies

getDomainAxioms

protected abstract Set<? extends OWLPropertyDomainAxiom<?>> getDomainAxioms(OWLOntology ontology)

getRangeAxioms

protected abstract Set<? extends OWLPropertyRangeAxiom<P,R>> getRangeAxioms(OWLOntology ontology)

getSubPropertyAxioms

protected abstract Set<? extends OWLSubPropertyAxiom<P>> getSubPropertyAxioms(OWLOntology ontology)

getEquivalentPropertiesAxioms

protected abstract Set<? extends OWLNaryPropertyAxiom<P>> getEquivalentPropertiesAxioms(OWLOntology ontology)

getDisjointPropertiesAxioms

protected abstract Set<? extends OWLNaryPropertyAxiom<P>> getDisjointPropertiesAxioms(OWLOntology ontology)

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectImpl