Package org.semanticweb.owlapi.model

Interface OWLObjectOneOf

All Superinterfaces:
AsOWLClass, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasOperands<OWLIndividual>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, Serializable, SWRLPredicate
All Known Implementing Classes:
OWLObjectOneOfImpl
public interface OWLObjectOneOf extends OWLAnonymousClassExpression, HasOperands<OWLIndividual>
Represents an ObjectOneOf class expression in the OWL 2 Specification.
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.

    • getClassExpressionType

      default ClassExpressionType getClassExpressionType()
      Description copied from interface: OWLClassExpression
      Gets the class expression type for this class expression.
      Specified by:
      getClassExpressionType in interface OWLClassExpression
      Returns:
      The class expression type

    • getIndividuals

      default Set<OWLIndividual> getIndividuals()
      Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension) of this class expression.
      Returns:
      The individuals that are the values of this ObjectOneOf class expression. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • individuals

      Stream<OWLIndividual> individuals()
      Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension) of this class expression.
      Returns:
      The individuals that are the values of this ObjectOneOf class expression.

    • operands

      default Stream<OWLIndividual> operands()
      Description copied from interface: HasOperands
      Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent classes axiom.
      Specified by:
      operands in interface HasOperands<OWLIndividual>
      Returns:
      The operands.

    • asObjectUnionOf

      OWLClassExpression asObjectUnionOf()
      Simplifies this enumeration to a union of singleton nominals.
      Returns:
      This enumeration in a more standard DL form. simp({a}) = {a} simp({a0, ... , {an}) = unionOf({a0}, ... , {an})

    • 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(OWLClassExpressionVisitor visitor)
      Description copied from interface: OWLClassExpression
      Accepts a visit from an OWLExpressionVisitor.
      Specified by:
      accept in interface OWLClassExpression
      Parameters:
      visitor - The visitor that wants to visit

    • accept

      default <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
      Specified by:
      accept in interface OWLClassExpression
      Type Parameters:
      O - visitor return type
      Parameters:
      visitor - visitor
      Returns:
      visitor return value