org.semanticweb.owl.model
Interface OWLObjectPropertyInverse

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLObject, OWLObjectPropertyExpression, OWLPropertyExpression<OWLObjectPropertyExpression,OWLDescription>

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.

Method Summary

OWLObjectPropertyExpression

getInverse() Gets the property expression that this is the inverse of.

Methods inherited from interface org.semanticweb.owl.model.OWLObjectPropertyExpression

asOWLObjectProperty, getInverses, getInverses, isAntiSymmetric, isAntiSymmetric, 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 org.semanticweb.owl.model.OWLObject

accept, accept

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getInverse

OWLObjectPropertyExpression getInverse()

Gets the property expression that this is the inverse of.