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>

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, 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()

Method Summary

Methods

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)
Set<OWLClassExpression>	getDomains(Set<OWLOntology> ontologies)
Set<P>	getEquivalentProperties(OWLOntology ontology)
Set<P>	getEquivalentProperties(Set<OWLOntology> 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)
Set<R>	getRanges(Set<OWLOntology> ontologies)
Set<P>	getSubProperties(OWLOntology ontology)
Set<P>	getSubProperties(Set<OWLOntology> ontologies)
protected abstract Set<? extends OWLSubPropertyAxiom<P>>	getSubPropertyAxioms(OWLOntology ontology)
protected abstract Set<? extends OWLSubPropertyAxiom<P>>	getSubPropertyAxiomsForRHS(OWLOntology ont)
Set<P>	getSuperProperties(OWLOntology ontology)
Set<P>	getSuperProperties(Set<OWLOntology> ontologies)

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

compareLists, compareObjectOfSameType, compareSets, compareTo, 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

Constructor Detail

OWLPropertyExpressionImpl

public OWLPropertyExpressionImpl()

Method Detail

getRanges

public Set<R> getRanges(OWLOntology ontology)

Specified by:

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

getRanges

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

Specified by:

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

getDomains

public Set<OWLClassExpression> getDomains(OWLOntology ontology)

Specified by:

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

getDomains

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

Specified by:

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

getSuperProperties

public Set<P> getSuperProperties(OWLOntology ontology)

Specified by:

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

getSuperProperties

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

Specified by:

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

getSubProperties

public Set<P> getSubProperties(OWLOntology ontology)

Specified by:

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

getSubProperties

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

Specified by:

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

getSubPropertyAxiomsForRHS

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

getEquivalentProperties

public Set<P> getEquivalentProperties(OWLOntology ontology)

Specified by:

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

getEquivalentProperties

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

Specified by:

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

getDisjointProperties

public Set<P> getDisjointProperties(OWLOntology ontology)

Specified by:

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

getDisjointProperties

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

Specified by:

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

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