Package 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

  • Method Details

    • 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; called 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