Package org.semanticweb.owlapi.model

Interface OWLDisjointUnionAxiom

All Superinterfaces:
Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasOperands<OWLClassExpression>, HasSignature, IsAnonymous, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLObject, Serializable
public interface OWLDisjointUnionAxiom extends OWLClassAxiom, HasOperands<OWLClassExpression>
Represents a DisjointUnion axiom in the OWL 2 Specification.
Since:
2.0.0
Author:
Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

  • Method Details

    • getAxiomWithoutAnnotations

      OWLDisjointUnionAxiom getAxiomWithoutAnnotations()
      Description copied from interface: OWLAxiom
      Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially returns a version of this axiom stripped of any annotations.
      Specified by:
      getAxiomWithoutAnnotations in interface OWLAxiom
      Returns:
      The axiom without annotations

    • 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.

    • componentsWithoutAnnotations

      default Stream<?> componentsWithoutAnnotations()
      Specified by:
      componentsWithoutAnnotations in interface HasComponents
      Returns:
      components as a stream; for objects that can have annotations on them, these are skipped. This is useful for comparing axioms without taking annotations into account. Note: annotations on nested objects are not affected. The stream is ordered (by visit order) but not sorted. Implementations that override components() must ensure the order is compatible with equals() and hashCode().

    • componentsAnnotationsFirst

      default Stream<?> componentsAnnotationsFirst()
      Specified by:
      componentsAnnotationsFirst in interface HasComponents
      Returns:
      components as a stream; for objects that can have annotations on them, annotation streams appear first. This is useful in renderers. The stream is ordered (by visit order) but not sorted. Implementations that override components() must ensure the order is compatible with equals() and hashCode().

    • 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.

    • getOWLClass

      OWLClass getOWLClass()
      Gets the class which is equivalent to the disjoint union.
      Returns:
      the class that is equivalent to a disjoint union of other classes.

    • getClassExpressions

      default Set<OWLClassExpression> getClassExpressions()
      Gets the class expressions which are operands of the disjoint union.
      Returns:
      A Set containing the operands of the disjoint union, note that this does not include the OWLClass that is equivalent to the disjoint union. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • classExpressions

      Stream<OWLClassExpression> classExpressions()
      Gets the class expressions which are operands of the disjoint union.
      Returns:
      Sorted stream containing the operands of the disjoint union, note that this does not include the OWLClass that is equivalent to the disjoint union.

    • getOWLEquivalentClassesAxiom

      OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom()
      Gets the part of this axiom that corresponds to an EquivalentClasses axiom.
      Returns:
      The equivalent classes axiom part of this axiom. This is essentially, EquivalentClasses(CE, CEUnion) where CEUnion is the union of the classes returned by the getClassExpressions() method and CE is the class returned by the getOWLClass() method.

    • getOWLDisjointClassesAxiom

      OWLDisjointClassesAxiom getOWLDisjointClassesAxiom()
      Gets the part of this axiom that corresponds to an DisjointClasses axiom.
      Returns:
      The disjoint classes axiom part of this axiom. This is essentially, DisjointClasses(CE1, ..., CEn) where CEi in (CE1, ..., CEn) is contained in the classes returned by the getClassExpressions() method.

    • 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(OWLAxiomVisitor visitor)
      Specified by:
      accept in interface OWLAxiom
      Parameters:
      visitor - visitor to accept

    • accept

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

    • getAxiomType

      default AxiomType<?> getAxiomType()
      Description copied from interface: OWLAxiom
      Gets the axiom type for this axiom.
      Specified by:
      getAxiomType in interface OWLAxiom
      Returns:
      The axiom type that corresponds to the type of this axiom.