public interface OWLObjectPropertyExpression extends OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, SWRLPredicate
Type | Property and Description |
---|---|
OWLObjectProperty |
asOWLObject
If the property is a named object property then this method will obtain
the property as such.
|
isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty
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.
|
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 |
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 |
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) |
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
compareTo
containsEntityInSignature
OWLObjectProperty 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.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(Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isSymmetric(OWLOntology ontology)
ontology
- the ontology to checkboolean isSymmetric(Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isAsymmetric(OWLOntology ontology)
ontology
- the ontology to checkboolean isAsymmetric(Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isReflexive(OWLOntology ontology)
ontology
- the ontology to checkboolean isReflexive(Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isIrreflexive(OWLOntology ontology)
ontology
- the ontology to checkboolean isIrreflexive(Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkboolean isTransitive(OWLOntology ontology)
ontology
- the ontology to checkboolean isTransitive(Set<OWLOntology> ontologies)
ontologies
- the ontologies to checkSet<OWLObjectPropertyExpression> getInverses(OWLOntology ontology)
ontology
- the ontology to checkSet<OWLObjectPropertyExpression> getInverses(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.OWLObjectPropertyExpression getInverseProperty()
OWLObjectPropertyExpression getSimplified()
OWLObjectProperty getNamedProperty()
Copyright © 2017 The University of Manchester. All Rights Reserved.