Package org.semanticweb.owlapi.model

Interface OWLSubClassOfAxiom

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

  • Method Details

    • getAxiomWithoutAnnotations

      OWLSubClassOfAxiom 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

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

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

    • getSubClass

      OWLClassExpression getSubClass()
      Gets the subclass in this axiom.
      Returns:
      The class expression that represents the subclass in this axiom.

    • getSuperClass

      OWLClassExpression getSuperClass()
      Gets the superclass in this axiom.
      Returns:
      The class expression that represents the superclass in this axiom.

    • isGCI

      boolean isGCI()
      Determines if this subclass axiom has a subclass that is anonymous. (if the subclass is anonymous then the subclass axiom is known as a General Concept Inclusion - GCI).
      Returns:
      true if this axiom is a GCI, other wise false.

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