public interface OWLAxiom extends OWLObject, HasAnnotations
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLAxiomVisitor visitor) |
<O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
boolean |
equalsIgnoreAnnotations(OWLAxiom axiom)
Determines if another axiom is equal to this axiom not taking into
consideration the annotations on the axiom
|
OWLAxiom |
getAnnotatedAxiom(Set<OWLAnnotation> annotations)
Gets a copy of this axiom that is annotated with the specified
annotations.
|
Set<OWLAnnotation> |
getAnnotations()
Gets the annotations that are annotate this axiom.
|
Set<OWLAnnotation> |
getAnnotations(OWLAnnotationProperty annotationProperty)
Gets the annotations that annotate this axiom and whose annotation
property is equal to
annotationProperty . |
AxiomType<?> |
getAxiomType()
Gets the axiom type for this axiom.
|
OWLAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
OWLAxiom |
getNNF()
Gets this axioms in negation normal form.
|
boolean |
isAnnotated()
Determines if this axiom has any annotations on it
|
boolean |
isAnnotationAxiom()
Determines if this axioms in an annotation axiom (an instance of
OWLAnnotationAxiom ) |
boolean |
isLogicalAxiom()
Determines if this axiom is a logical axiom.
|
boolean |
isOfType(AxiomType<?>... axiomTypes)
Determines if this axiom is one of the specified types
|
boolean |
isOfType(Set<AxiomType<?>> types)
Determines if this axiom is one of the specified types
|
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
void accept(OWLAxiomVisitor visitor)
visitor
- visitor to accept<O> O accept(OWLAxiomVisitorEx<O> visitor)
O
- visitor return typevisitor
- visitor to acceptSet<OWLAnnotation> getAnnotations()
getAnnotations
in interface HasAnnotations
Set<OWLAnnotation> getAnnotations(OWLAnnotationProperty annotationProperty)
annotationProperty
.annotationProperty
- The annotation property that will be equal to the annotation
property of each returned annotation.annotationProperty
.OWLAxiom getAxiomWithoutAnnotations()
OWLAxiom getAnnotatedAxiom(Set<OWLAnnotation> annotations)
annotations
- The annotations that will be added to existing annotations to
annotate the copy of this axiomOWLAxiom#getAnnotations()
method.boolean equalsIgnoreAnnotations(OWLAxiom axiom)
axiom
- The axiom to test if equaltrue
if axiom
without annotations is equal to
this axiom without annotations otherwise false
.boolean isLogicalAxiom()
true
if the axiom is a logical axiom, false
if
the axiom is not a logical axiom.boolean isAnnotationAxiom()
OWLAnnotationAxiom
)true
if this axiom is an instance of
OWLAnnotationAxiom
, otherwise false
.boolean isAnnotated()
true
if this axiom has annotations on it, otherwise
false
AxiomType<?> getAxiomType()
boolean isOfType(AxiomType<?>... axiomTypes)
axiomTypes
- The axiom types to check fortrue
if this axiom is one of the specified types,
otherwise false
boolean isOfType(Set<AxiomType<?>> types)
types
- The axiom types to check fortrue
if this axioms is one of the specified types,
otherwise false
OWLAxiom getNNF()
Copyright © 2017 The University of Manchester. All Rights Reserved.