public abstract class OWLObjectPropertyExpressionImpl extends OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression> implements OWLObjectPropertyExpression
asOWLObjectProperty
isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty
Constructor and Description |
---|
OWLObjectPropertyExpressionImpl() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
OWLObjectPropertyExpression |
getInverseProperty()
Obtains the property that corresponds to the inverse of this property.
|
Set<OWLObjectPropertyExpression> |
getInverses(OWLOntology ontology) |
Set<OWLObjectPropertyExpression> |
getInverses(Set<OWLOntology> ontologies) |
OWLObjectProperty |
getNamedProperty()
Get the named object property used in this property expression.
|
OWLObjectPropertyExpression |
getSimplified()
Returns this property in its simplified form.
|
boolean |
isAsymmetric(OWLOntology ontology) |
boolean |
isAsymmetric(Set<OWLOntology> ontologies) |
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 |
isInverseFunctional(OWLOntology ontology)
Determines if the specified ontology specifies that this property is
inverse functional.
|
boolean |
isInverseFunctional(Set<OWLOntology> ontologies) |
boolean |
isIrreflexive(OWLOntology ontology) |
boolean |
isIrreflexive(Set<OWLOntology> ontologies) |
boolean |
isObjectPropertyExpression() |
boolean |
isReflexive(OWLOntology ontology) |
boolean |
isReflexive(Set<OWLOntology> ontologies) |
boolean |
isSymmetric(OWLOntology ontology) |
boolean |
isSymmetric(Set<OWLOntology> ontologies) |
boolean |
isTransitive(OWLOntology ontology) |
boolean |
isTransitive(Set<OWLOntology> ontologies) |
getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
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
compareTo
containsEntityInSignature
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(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(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(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(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(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(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(Set<OWLOntology> ontologies)
isTransitive
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic Set<OWLObjectPropertyExpression> getInverses(OWLOntology ontology)
getInverses
in interface OWLObjectPropertyExpression
ontology
- the ontology to checkpublic Set<OWLObjectPropertyExpression> getInverses(Set<OWLOntology> ontologies)
getInverses
in interface OWLObjectPropertyExpression
ontologies
- the ontologies to checkpublic boolean equals(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
Copyright © 2017 The University of Manchester. All Rights Reserved.