public interface OWLSubAnnotationPropertyOfAxiom extends OWLAnnotationAxiom
Modifier and Type | Method and Description |
---|---|
OWLSubAnnotationPropertyOfAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
OWLAnnotationProperty |
getSubProperty()
Gets the subproperty of this axiom.
|
OWLAnnotationProperty |
getSuperProperty()
Gets the super property of this axiom.
|
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
@Nonnull OWLAnnotationProperty getSubProperty()
@Nonnull OWLAnnotationProperty getSuperProperty()
@Nonnull OWLSubAnnotationPropertyOfAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
Copyright © 2020 The University of Manchester. All rights reserved.