R
- range typeP
- property typepublic abstract class OWLPropertyExpressionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>> extends OWLObjectImpl implements OWLPropertyExpression<R,P>
isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty
Constructor and Description |
---|
OWLPropertyExpressionImpl()
default constructor
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Set<P> |
getDisjointProperties(OWLOntology ontology) |
Set<P> |
getDisjointProperties(Set<OWLOntology> ontologies) |
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.
|
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.
|
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.
|
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
accept, accept, isAnonymous, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
public 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 Set<R> getRanges(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 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 Set<OWLClassExpression> getDomains(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 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 Set<P> getSuperProperties(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 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 Set<P> getSubProperties(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.public 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 Set<P> getEquivalentProperties(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 Set<P> getDisjointProperties(OWLOntology ontology)
getDisjointProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- the ontology to usepublic Set<P> getDisjointProperties(Set<OWLOntology> ontologies)
getDisjointProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- the ontologies to usepublic boolean equals(Object obj)
equals
in class OWLObjectImpl
Copyright © 2017 The University of Manchester. All Rights Reserved.