public interface OWLObjectPropertyExpression extends OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, SWRLPredicate
Modifier and Type | Method and Description |
---|---|
OWLObjectProperty |
asOWLObjectProperty()
If the property is a named object property then this method will obtain the property as such.
|
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.
|
OWLObjectPropertyExpression |
getSimplified()
Returns this property in its simplified form.
|
boolean |
isAsymmetric(OWLOntology ontology) |
boolean |
isAsymmetric(java.util.Set<OWLOntology> ontologies) |
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 |
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) |
accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
boolean isInverseFunctional(OWLOntology ontology)
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.boolean isInverseFunctional(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isSymmetric(OWLOntology ontology)
ontology
- the ontology to checkboolean isSymmetric(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isAsymmetric(OWLOntology ontology)
ontology
- the ontology to checkboolean isAsymmetric(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isReflexive(OWLOntology ontology)
ontology
- the ontology to checkboolean isReflexive(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isIrreflexive(OWLOntology ontology)
ontology
- the ontology to checkboolean isIrreflexive(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isTransitive(OWLOntology ontology)
ontology
- the ontology to checkboolean isTransitive(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkjava.util.Set<OWLObjectPropertyExpression> getInverses(OWLOntology ontology)
ontology
- the ontology to checkjava.util.Set<OWLObjectPropertyExpression> getInverses(java.util.Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkOWLObjectProperty asOWLObjectProperty()
isAnonymous
method should first be used to determine if the property is
named (i.e. not an object property expression such as inv(p)). If the property is named then this method may be
used to obtain the property as a named property without casting.OWLObjectProperty
if possible.OWLRuntimeException
- if the property is not a named property.OWLObjectPropertyExpression getInverseProperty()
OWLObjectPropertyExpression getSimplified()
OWLObjectProperty getNamedProperty()