Package org.semanticweb.owlapi.model

Interface OWLObjectPropertyExpression

All Superinterfaces:
AsOWLAnnotationProperty, AsOWLDataProperty, AsOWLObjectProperty, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLObject, OWLPropertyExpression, Serializable, SWRLPredicate
All Known Subinterfaces:
OWLObjectInverseOf, OWLObjectProperty
All Known Implementing Classes:
OWLObjectInverseOfImpl, OWLObjectPropertyImpl
public interface OWLObjectPropertyExpression extends OWLPropertyExpression, SWRLPredicate
Since:
2.0.0
Author:
Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

  • Method Details

    • getInverseProperty

      OWLObjectPropertyExpression getInverseProperty()
      Obtains the property that corresponds to the inverse of this property.
      Returns:
      The inverse of this property. Note that this property will not necessarily be in the simplest form.

    • getSimplified

      @Deprecated default OWLObjectPropertyExpression getSimplified()
      Deprecated.
      Since it is not legal to apply ObjectInverseOf to anything other than an Object Property, all object properties are always in the simplified form.
      Returns this property in its simplified form.
      Returns:
      Let p be a property name and PE an object property expression. The simplification, 'simp', is defined as follows:
      simp(p) = p
      simp(inv(p)) = inv(p)

    • getNamedProperty

      OWLObjectProperty getNamedProperty()
      Get the named object property used in this property expression.
      Returns:
      P if this expression is either inv(P) or P.

    • isObjectPropertyExpression

      default boolean isObjectPropertyExpression()
      Specified by:
      isObjectPropertyExpression in interface OWLPropertyExpression
      Returns:
      true if this is an object property