R
- rangeP
- property expressionpublic interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>> extends OWLObject
Type | Property and Description |
---|---|
boolean |
isOWLBottomData
Gets the value of the property oWLBottomDataProperty.
|
boolean |
isOWLBottomObject
Gets the value of the property oWLBottomObjectProperty.
|
boolean |
isOWLTopData
Gets the value of the property oWLTopDataProperty.
|
boolean |
isOWLTopObject
Gets the value of the property oWLTopObjectProperty.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLPropertyExpressionVisitor visitor) |
<O> O |
accept(OWLPropertyExpressionVisitorEx<O> visitor) |
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.
|
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(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()
Gets the value of the property oWLBottomDataProperty.
|
boolean |
isOWLBottomObjectProperty()
Gets the value of the property oWLBottomObjectProperty.
|
boolean |
isOWLTopDataProperty()
Gets the value of the property oWLTopDataProperty.
|
boolean |
isOWLTopObjectProperty()
Gets the value of the property oWLTopObjectProperty.
|
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
boolean isOWLTopObjectProperty
boolean isOWLBottomObjectProperty
boolean isOWLTopDataProperty
boolean isOWLBottomDataProperty
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).Set<OWLClassExpression> getDomains(Set<OWLOntology> ontologies)
ontologies
- The ontologies to be examined.OWLClassExpression
s that represent the asserted
domains of this property.Set<R> getRanges(OWLOntology ontology)
ontology
- The ontology to be searched for axioms which assert a range for
this property.Set<R> getRanges(Set<OWLOntology> ontologies)
ontologies
- The ontologies to be examined for range axioms.Set<P> getSuperProperties(OWLOntology ontology)
ontology
- The ontology which will be examined for subproperty axioms.Set<P> getSuperProperties(Set<OWLOntology> ontologies)
ontologies
- The ontologies which will bne examined for axiomsSet<P> getSubProperties(OWLOntology ontology)
ontology
- The ontology which will be examined for subproperty axioms.Set<P> getSubProperties(Set<OWLOntology> ontologies)
ontologies
- The ontologies which will be examined for subproperty axioms.Set<P> getEquivalentProperties(OWLOntology ontology)
ontology
- The ontology which will be examined for equivalent properties
axioms.Set<P> getEquivalentProperties(Set<OWLOntology> ontologies)
ontologies
- The ontologies which will be examined for equivalent properties
axioms.Set<P> getDisjointProperties(OWLOntology ontology)
ontology
- the ontology to useSet<P> getDisjointProperties(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(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)
visitor
- visitor to accept<O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)
O
- visitor return typevisitor
- visitor to acceptboolean isDataPropertyExpression()
boolean isObjectPropertyExpression()
boolean isOWLTopObjectProperty()
boolean isOWLBottomObjectProperty()
boolean isOWLTopDataProperty()
boolean isOWLBottomDataProperty()
Copyright © 2017 The University of Manchester. All Rights Reserved.