R
- rangeP
- property expressionpublic interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>> extends OWLObject
Modifier and Type | Method and Description |
---|---|
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
|
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
java.util.Set<OWLClassExpression> getDomains(OWLOntology ontology)
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).java.util.Set<OWLClassExpression> getDomains(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies to be examined.OWLClassExpression
s that represent the asserted
domains of this property.java.util.Set<R> getRanges(OWLOntology ontology)
ontology
- The ontology to be searched for axioms which assert a range
for this property.java.util.Set<R> getRanges(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies to be examined for range axioms.java.util.Set<P> getSuperProperties(OWLOntology ontology)
ontology
- The ontology which will be examined for subproperty axioms.java.util.Set<P> getSuperProperties(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies which will bne examined for axiomsjava.util.Set<P> getSubProperties(OWLOntology ontology)
ontology
- The ontology which will be examined for subproperty axioms.java.util.Set<P> getSubProperties(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies which will be examined for subproperty axioms.java.util.Set<P> getEquivalentProperties(OWLOntology ontology)
ontology
- The ontology which will be examined for equivalent properties axioms.java.util.Set<P> getEquivalentProperties(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies which will be examined for equivalent properties axioms.java.util.Set<P> getDisjointProperties(OWLOntology ontology)
ontology
- the ontology to usejava.util.Set<P> getDisjointProperties(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to useboolean isFunctional(OWLOntology ontology)
ontology
- The ontology to be tested for a functional
property axiom.true
if the specified ontology contains
an axiom stating that the property is functional, other wise
false
.boolean isFunctional(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies which will be searched for axioms
which specify that this property is fuctional.true
if the property is functional, or false
if the property is not functional.boolean isAnonymous()
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.void accept(OWLPropertyExpressionVisitor visitor)
<O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)
boolean isDataPropertyExpression()
boolean isObjectPropertyExpression()
boolean isOWLTopObjectProperty()
true
if this property is the owl:topObjectProperty otherwise false
boolean isOWLBottomObjectProperty()
true
if this property is the owl:bottomObjectProperty otherwise false
boolean isOWLTopDataProperty()
true
if this property is the owl:topDataProperty otherwise false
boolean isOWLBottomDataProperty()
true
if this property is the owl:bottomDataProperty otherwise false