org.semanticweb.owl.model
Interface OWLObjectPropertyInverse
- All Superinterfaces:
- java.lang.Comparable<OWLObject>, OWLObject, OWLObjectPropertyExpression, OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>
- All Known Implementing Classes:
- OWLObjectPropertyInverseImpl
public interface OWLObjectPropertyInverse
- extends OWLObjectPropertyExpression
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Oct-2006
Represents the inverse of a property expression. This can be used to refer to
the inverse of a property, without actually naming the property. For example, consider
the property hasPart, the inverse property of hasPart (isPartOf) can be referred to using
this interface inverseOf(hasPart), which can be used in restrictions e.g.
inverseOf(hasPart) some Car refers to the set of things that are part of at least one car.
| Methods inherited from interface org.semanticweb.owl.model.OWLObjectPropertyExpression |
asOWLObjectProperty, getInverseProperty, getInverses, getInverses, getNamedProperty, getSimplified, isAntiSymmetric, isAntiSymmetric, isAsymmetric, isAsymmetric, isInverseFunctional, isInverseFunctional, isIrreflexive, isIrreflexive, isReflexive, isReflexive, isSymmetric, isSymmetric, isTransitive, isTransitive |
| Methods inherited from interface org.semanticweb.owl.model.OWLPropertyExpression |
accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isFunctional, isFunctional |
| Methods inherited from interface java.lang.Comparable |
compareTo |
getInverse
OWLObjectPropertyExpression getInverse()
- Gets the property expression that this is the inverse of.