Package org.semanticweb.owlapi.model

Interface OWLObjectInverseOf

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLObject, OWLObjectPropertyExpression, OWLPropertyExpression, Serializable, SWRLPredicate

All Known Implementing Classes:

OWLObjectInverseOfImpl

public interface OWLObjectInverseOf
extends OWLObjectPropertyExpression

Represents a ObjectInverseOf 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.

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Modifier and Type	Method	Description
OWLObjectPropertyExpression	getInverse()	Gets the property expression that this is the inverse of.

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

getSignature

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

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

asOWLObjectProperty, getInverseProperty, getNamedProperty, getSimplified

Methods inherited from interface org.semanticweb.owlapi.model.OWLPropertyExpression

accept, accept, isAnonymous, isDataPropertyExpression, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

Method Detail

getInverse

@Nonnull
OWLObjectPropertyExpression getInverse()

Gets the property expression that this is the inverse of.

Returns:

The object property expression such that this object property expression is an inverse of it.