public abstract class OWLObjectPropertyExpressionImpl extends OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression> implements OWLObjectPropertyExpression
Constructor and Description |
---|
OWLObjectPropertyExpressionImpl() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> |
getDisjointPropertiesAxioms(OWLOntology ontology) |
protected java.util.Set<? extends OWLPropertyDomainAxiom<?>> |
getDomainAxioms(OWLOntology ontology) |
protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> |
getEquivalentPropertiesAxioms(OWLOntology ontology) |
OWLObjectPropertyExpression |
getInverseProperty()
Obtains the property that corresponds to the inverse of this property.
|
java.util.Set<OWLObjectPropertyExpression> |
getInverses(OWLOntology ontology) |
java.util.Set<OWLObjectPropertyExpression> |
getInverses(java.util.Set<OWLOntology> ontologies) |
OWLObjectProperty |
getNamedProperty()
Get the named object property used in this property expression.
|
protected java.util.Set<? extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>> |
getRangeAxioms(OWLOntology ontology) |
OWLObjectPropertyExpression |
getSimplified()
Returns this property in its simplified form.
|
protected java.util.Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>> |
getSubPropertyAxioms(OWLOntology ontology) |
boolean |
isAsymmetric(OWLOntology ontology) |
boolean |
isAsymmetric(java.util.Set<OWLOntology> ontologies) |
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 |
isInverseFunctional(OWLOntology ontology)
Determines if the specified ontology specifies that this property is inverse functional.
|
boolean |
isInverseFunctional(java.util.Set<OWLOntology> ontologies) |
boolean |
isIrreflexive(OWLOntology ontology) |
boolean |
isIrreflexive(java.util.Set<OWLOntology> ontologies) |
boolean |
isObjectPropertyExpression() |
boolean |
isReflexive(OWLOntology ontology) |
boolean |
isReflexive(java.util.Set<OWLOntology> ontologies) |
boolean |
isSymmetric(OWLOntology ontology) |
boolean |
isSymmetric(java.util.Set<OWLOntology> ontologies) |
boolean |
isTransitive(OWLOntology ontology) |
boolean |
isTransitive(java.util.Set<OWLOntology> ontologies) |
getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSubPropertyAxiomsForRHS, getSuperProperties, getSuperProperties
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
asOWLObjectProperty
accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
protected java.util.Set<? extends OWLPropertyDomainAxiom<?>> getDomainAxioms(OWLOntology ontology)
getDomainAxioms
in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
public boolean isObjectPropertyExpression()
isObjectPropertyExpression
in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>
public boolean isDataPropertyExpression()
isDataPropertyExpression
in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>
public boolean isFunctional(OWLOntology ontology)
OWLPropertyExpression
isFunctional
in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>
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
.public boolean isFunctional(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
isFunctional
in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>
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.public boolean isInverseFunctional(OWLOntology ontology)
OWLObjectPropertyExpression
isInverseFunctional
in interface OWLObjectPropertyExpression
ontology
- The ontology to be tested for an inverse functional property axiom.true
if the property is inverse functional, or false
if the property is not
inverse functional.public boolean isInverseFunctional(java.util.Set<OWLOntology> ontologies)
isInverseFunctional
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic boolean isSymmetric(OWLOntology ontology)
isSymmetric
in interface OWLObjectPropertyExpression
ontology
- the ontology to checkpublic boolean isSymmetric(java.util.Set<OWLOntology> ontologies)
isSymmetric
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic boolean isAsymmetric(OWLOntology ontology)
isAsymmetric
in interface OWLObjectPropertyExpression
ontology
- the ontology to checkpublic boolean isAsymmetric(java.util.Set<OWLOntology> ontologies)
isAsymmetric
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic boolean isReflexive(OWLOntology ontology)
isReflexive
in interface OWLObjectPropertyExpression
ontology
- the ontology to checkpublic boolean isReflexive(java.util.Set<OWLOntology> ontologies)
isReflexive
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic boolean isIrreflexive(OWLOntology ontology)
isIrreflexive
in interface OWLObjectPropertyExpression
ontology
- the ontology to checkpublic boolean isIrreflexive(java.util.Set<OWLOntology> ontologies)
isIrreflexive
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic boolean isTransitive(OWLOntology ontology)
isTransitive
in interface OWLObjectPropertyExpression
ontology
- the ontology to checkpublic boolean isTransitive(java.util.Set<OWLOntology> ontologies)
isTransitive
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkprotected java.util.Set<? extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>> getRangeAxioms(OWLOntology ontology)
getRangeAxioms
in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
protected java.util.Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>> getSubPropertyAxioms(OWLOntology ontology)
getSubPropertyAxioms
in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> getEquivalentPropertiesAxioms(OWLOntology ontology)
getEquivalentPropertiesAxioms
in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
protected java.util.Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> getDisjointPropertiesAxioms(OWLOntology ontology)
getDisjointPropertiesAxioms
in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
public java.util.Set<OWLObjectPropertyExpression> getInverses(OWLOntology ontology)
getInverses
in interface OWLObjectPropertyExpression
ontology
- the ontology to checkpublic java.util.Set<OWLObjectPropertyExpression> getInverses(java.util.Set<OWLOntology> ontologies)
getInverses
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic boolean equals(java.lang.Object obj)
equals
in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
public OWLObjectPropertyExpression getSimplified()
OWLObjectPropertyExpression
getSimplified
in interface OWLObjectPropertyExpression
public OWLObjectPropertyExpression getInverseProperty()
OWLObjectPropertyExpression
getInverseProperty
in interface OWLObjectPropertyExpression
public OWLObjectProperty getNamedProperty()
OWLObjectPropertyExpression
getNamedProperty
in interface OWLObjectPropertyExpression