public abstract class OWLAxiomImpl extends OWLObjectImpl implements OWLAxiom, CollectionContainer<OWLAnnotation>
Constructor and Description |
---|
OWLAxiomImpl(java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
accept(CollectionContainerVisitor<OWLAnnotation> t) |
boolean |
equals(java.lang.Object obj) |
boolean |
equalsIgnoreAnnotations(OWLAxiom axiom)
Determines if another axiom is equal to this axiom not taking into
consideration the annotations on the axiom
|
java.util.Set<OWLAnnotation> |
getAnnotations()
Gets the annotations that are annotate this axiom.
|
java.util.Set<OWLAnnotation> |
getAnnotations(OWLAnnotationProperty annotationProperty)
Gets the annotations that annotate this axiom and whose annotation property is equal to
annotationProperty . |
OWLAxiom |
getNNF()
Gets this axioms in negation normal form.
|
boolean |
isAnnotated()
Determines if this axiom has any annotations on it
|
boolean |
isOfType(AxiomType<?>... axiomTypes)
Determines if this axiom is one of the specified types
|
boolean |
isOfType(java.util.Set<AxiomType<?>> types)
Determines if this axiom is one of the specified types
|
protected java.util.Set<OWLAnnotation> |
mergeAnnos(java.util.Set<OWLAnnotation> annos)
A convenience method for implementation that returns a set containing the
annotations on this axiom plus the annotations in the specified set.
|
compareLists, compareObjectOfSameType, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
accept, accept, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, isAnnotationAxiom, isLogicalAxiom
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLAxiomImpl(java.util.Collection<? extends OWLAnnotation> annotations)
public boolean isAnnotated()
OWLAxiom
isAnnotated
in interface OWLAxiom
true
if this axiom has annotations on it, otherwise false
public java.util.Set<OWLAnnotation> getAnnotations()
OWLAxiom
getAnnotations
in interface OWLAxiom
public void accept(CollectionContainerVisitor<OWLAnnotation> t)
accept
in interface CollectionContainer<OWLAnnotation>
public java.util.Set<OWLAnnotation> getAnnotations(OWLAnnotationProperty annotationProperty)
OWLAxiom
annotationProperty
.getAnnotations
in interface OWLAxiom
annotationProperty
- The annotation property that will be equal to the annotation property of each returned
annotation.annotationProperty
.public boolean equalsIgnoreAnnotations(OWLAxiom axiom)
equalsIgnoreAnnotations
in interface OWLAxiom
axiom
- The axiom to test if equaltrue
if axiom
without annotations is
equal to this axiom without annotations otherwise
false
.public boolean isOfType(AxiomType<?>... axiomTypes)
public boolean isOfType(java.util.Set<AxiomType<?>> types)
protected java.util.Set<OWLAnnotation> mergeAnnos(java.util.Set<OWLAnnotation> annos)
annos
- The annotations to add to the annotations on this axiompublic boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl