Package org.semanticweb.owlapi.model

Interface OWLHasValueRestriction<V extends OWLObject>

Type Parameters:
V - the value type
All Superinterfaces:
AsOWLClass, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<V>, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, OWLRestriction, Serializable, SWRLPredicate
All Known Subinterfaces:
OWLDataHasValue, OWLObjectHasValue
All Known Implementing Classes:
OWLDataHasValueImpl, OWLObjectHasValueImpl, OWLValueRestrictionImpl
public interface OWLHasValueRestriction<V extends OWLObject> extends OWLRestriction, HasFiller<V>
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.

    • getValue

      @Deprecated default V getValue()
      Deprecated.
      use HasFiller.getFiller() instead
      Returns:
      the value

    • asSomeValuesFrom

      OWLClassExpression asSomeValuesFrom()
      A convenience method that obtains this restriction as an existential restriction with a nominal filler.
      Returns:
      The existential equivalent of this value restriction. simp(HasValue(p a)) = some(p {a})