org.semanticweb.owlapi.model

Interface OWLObjectInverseOf

All Superinterfaces:

Comparable<OWLObject>, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLObject, OWLObjectPropertyExpression, OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, 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.

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group Date: 24-Oct-2006

Property Summary

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

asOWLObjectProperty

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

isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

Method Summary

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

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

asOWLObjectProperty, getInverseProperty, getInverses, getInverses, getNamedProperty, getSimplified, isAsymmetric, isAsymmetric, isInverseFunctional, isInverseFunctional, isIrreflexive, isIrreflexive, isReflexive, isReflexive, isSymmetric, isSymmetric, isTransitive, isTransitive

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

accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

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

containsEntityInSignature

Method Detail

getInverse

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.