public interface OWLSubClassOfAxiom extends OWLClassAxiom
Modifier and Type | Method and Description |
---|---|
default void |
accept(OWLAxiomVisitor visitor) |
default <O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
default void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
default <O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
default Stream<?> |
components() |
default Stream<?> |
componentsAnnotationsFirst() |
default Stream<?> |
componentsWithoutAnnotations() |
default AxiomType<?> |
getAxiomType()
Gets the axiom type for this axiom.
|
OWLSubClassOfAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
OWLClassExpression |
getSubClass()
Gets the subclass in this axiom.
|
OWLClassExpression |
getSuperClass()
Gets the superclass in this axiom.
|
default int |
hashIndex() |
default int |
initHashCode() |
boolean |
isGCI()
Determines if this subclass axiom has a subclass that is anonymous.
|
isLogicalAxiom
equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
OWLSubClassOfAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
default int hashIndex()
hashIndex
in interface HasHashIndex
default Stream<?> components()
components
in interface HasComponents
default int initHashCode()
initHashCode
in interface OWLObject
default Stream<?> componentsWithoutAnnotations()
componentsWithoutAnnotations
in interface HasComponents
default Stream<?> componentsAnnotationsFirst()
componentsAnnotationsFirst
in interface HasComponents
OWLClassExpression getSubClass()
OWLClassExpression getSuperClass()
boolean isGCI()
true
if this axiom is a GCI, other wise false
.default void accept(OWLObjectVisitor visitor)
OWLObject
default <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
default void accept(OWLAxiomVisitor visitor)
default <O> O accept(OWLAxiomVisitorEx<O> visitor)
default AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
Copyright © 2020 The University of Manchester. All rights reserved.