public abstract class OWLPropertyExpressionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>> extends OWLObjectImpl implements OWLPropertyExpression<R,P>
Constructor and Description |
---|
OWLPropertyExpressionImpl() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Set<P> |
getDisjointProperties(OWLOntology ontology) |
java.util.Set<P> |
getDisjointProperties(java.util.Set<OWLOntology> ontologies) |
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> |
getDisjointPropertiesAxioms(OWLOntology ontology) |
protected abstract java.util.Set<? extends OWLPropertyDomainAxiom<?>> |
getDomainAxioms(OWLOntology ontology) |
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.
|
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> |
getEquivalentPropertiesAxioms(OWLOntology ontology) |
protected abstract java.util.Set<? extends OWLPropertyRangeAxiom<P,R>> |
getRangeAxioms(OWLOntology ontology) |
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.
|
protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> |
getSubPropertyAxioms(OWLOntology ontology) |
protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> |
getSubPropertyAxiomsForRHS(OWLOntology ont) |
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.
|
compareLists, compareObjectOfSameType, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
accept, accept, isAnonymous, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public java.util.Set<R> getRanges(OWLOntology ontology)
OWLPropertyExpression
getRanges
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology to be searched for axioms which assert a range
for this property.public java.util.Set<R> getRanges(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getRanges
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies to be examined for range axioms.public java.util.Set<OWLClassExpression> getDomains(OWLOntology ontology)
OWLPropertyExpression
getDomains
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology that should be examined for axioms which
assert a domain of this propertyOWLClassExpression
s corresponding to the
domains of this property (the domain of the property is essentially the
intersection of these class expressions).public java.util.Set<OWLClassExpression> getDomains(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getDomains
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies to be examined.OWLClassExpression
s that represent the asserted
domains of this property.public java.util.Set<P> getSuperProperties(OWLOntology ontology)
OWLPropertyExpression
getSuperProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology which will be examined for subproperty axioms.public java.util.Set<P> getSuperProperties(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getSuperProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies which will bne examined for axiomspublic java.util.Set<P> getSubProperties(OWLOntology ontology)
OWLPropertyExpression
getSubProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology which will be examined for subproperty axioms.public java.util.Set<P> getSubProperties(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getSubProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies which will be examined for subproperty axioms.protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> getSubPropertyAxiomsForRHS(OWLOntology ont)
public java.util.Set<P> getEquivalentProperties(OWLOntology ontology)
OWLPropertyExpression
getEquivalentProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology which will be examined for equivalent properties axioms.public java.util.Set<P> getEquivalentProperties(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getEquivalentProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies which will be examined for equivalent properties axioms.public java.util.Set<P> getDisjointProperties(OWLOntology ontology)
getDisjointProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- the ontology to usepublic java.util.Set<P> getDisjointProperties(java.util.Set<OWLOntology> ontologies)
getDisjointProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- the ontologies to useprotected abstract java.util.Set<? extends OWLPropertyDomainAxiom<?>> getDomainAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLPropertyRangeAxiom<P,R>> getRangeAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> getSubPropertyAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> getEquivalentPropertiesAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> getDisjointPropertiesAxioms(OWLOntology ontology)
public boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl