org.semanticweb.owlapi.model

Interface OWLObjectInverseOf

All Superinterfaces:

AsOWLAnnotationProperty, AsOWLDataProperty, AsOWLObjectProperty, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, 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

Property Summary

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

isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

asOWLObjectProperty, isOWLObjectProperty

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

asOWLDataProperty, isOWLDataProperty

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

asOWLAnnotationProperty, isOWLAnnotationProperty

Method Summary

Modifier and Type	Method and Description
default void	accept(OWLObjectVisitor visitor) Accepts a visitor
default <O> O	accept(OWLObjectVisitorEx<O> visitor) Accepts a visitor
default void	accept(OWLPropertyExpressionVisitor visitor)
default <O> O	accept(OWLPropertyExpressionVisitorEx<O> visitor)
default Stream<?>	components()
OWLObjectPropertyExpression	getInverse() Gets the property expression that this is the inverse of.
default OWLObjectPropertyExpression	getInverseProperty() Obtains the property that corresponds to the inverse of this property.
default int	hashIndex()
default int	initHashCode()
default int	typeIndex()

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

getNamedProperty, getSimplified, isObjectPropertyExpression

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

asDataPropertyExpression, asObjectPropertyExpression, isDataPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressions

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature, signature, unsortedSignature

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

containsEntityInSignature

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

anonymousIndividuals, getAnonymousIndividuals

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

classesInSignature, getClassesInSignature

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

getObjectPropertiesInSignature, objectPropertiesInSignature

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

dataPropertiesInSignature, getDataPropertiesInSignature

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

getIndividualsInSignature, individualsInSignature

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

datatypesInSignature, getDatatypesInSignature

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

annotationPropertiesInSignature, getAnnotationPropertiesInSignature

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

componentsAnnotationsFirst, componentsWithoutAnnotations

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

isAnonymous, isNamed

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

asOWLObjectProperty, isOWLObjectProperty

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

asOWLDataProperty, isOWLDataProperty

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

asOWLAnnotationProperty, isOWLAnnotationProperty

Method Detail

components

default Stream<?> components()

Specified by:

components in interface HasComponents

Returns:

components as a stream. The stream is ordered (by visit order) but not sorted. Implementations that override components() must ensure the order is compatible with equals() and hashCode().

initHashCode

default int initHashCode()

Specified by:

initHashCode in interface OWLObject

Returns:

hash code for the object; clled on first use, cached by OWLObjectImpl in the default implementation.

hashIndex

default int hashIndex()

Specified by:

hashIndex in interface HasHashIndex

Returns:

index for this type. This is not a hashcode for instances, rather a hashcode for the types.

typeIndex

default int typeIndex()

Specified by:

typeIndex in interface HasIndex

Returns:

index for this type. This is not a hashcode for instances, rather a sorting index for the types.

getInverseProperty

default OWLObjectPropertyExpression getInverseProperty()

Description copied from interface: OWLObjectPropertyExpression

Obtains the property that corresponds to the inverse of this property.

Specified by:

getInverseProperty in interface OWLObjectPropertyExpression

Returns:

The inverse of this property. Note that this property will not necessarily be in the simplest form.

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.

accept

default void accept(OWLObjectVisitor visitor)

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Parameters:

visitor - The visitor

accept

default <O> O accept(OWLObjectVisitorEx<O> visitor)

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Type Parameters:

O - visitor return type

Parameters:

visitor - The visitor

Returns:

visitor value

accept

default void accept(OWLPropertyExpressionVisitor visitor)

Specified by:

accept in interface OWLPropertyExpression

Parameters:

visitor - visitor to accept

accept

default <O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)

Specified by:

accept in interface OWLPropertyExpression

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor to accept

Returns:

visitor value