uk.ac.manchester.cs.owl.owlapi
Class OWLAnnotationAssertionAxiomImpl

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
          extended by uk.ac.manchester.cs.owl.owlapi.OWLAnnotationAssertionAxiomImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAnnotationAssertionAxiom, OWLAnnotationAxiom, OWLAnnotationObject, OWLAxiom, OWLObject

public class OWLAnnotationAssertionAxiomImpl
extends OWLAxiomImpl
implements OWLAnnotationAssertionAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2006


Constructor Summary
OWLAnnotationAssertionAxiomImpl(OWLDataFactory dataFactory, OWLAnnotationSubject subject, OWLAnnotationProperty property, OWLAnnotationValue value, java.util.Collection<? extends OWLAnnotation> annotations)
           
 
Method Summary
 void accept(OWLAxiomVisitor visitor)
           
<O> O
accept(OWLAxiomVisitorEx<O> visitor)
           
 void accept(OWLObjectVisitor visitor)
           
<O> O
accept(OWLObjectVisitorEx<O> visitor)
           
protected  int compareObjectOfSameType(OWLObject object)
           
 boolean equals(java.lang.Object obj)
           
 OWLAnnotationAssertionAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
          Gets a copy of this axiom that is annotated with the specified annotations.
 OWLAnnotation getAnnotation()
           
 AxiomType getAxiomType()
          Gets the axiom type for this axiom.
 OWLAnnotationAssertionAxiom getAxiomWithoutAnnotations()
          Gets an axiom that is structurally equivalent to this axiom without annotations.
 OWLAnnotationProperty getProperty()
           
 OWLAnnotationSubject getSubject()
           
 OWLAnnotationValue getValue()
           
 boolean isLogicalAxiom()
          Determines if this axiom is a logical axiom.
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType, mergeAnnos
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom
getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Constructor Detail

OWLAnnotationAssertionAxiomImpl

public OWLAnnotationAssertionAxiomImpl(OWLDataFactory dataFactory,
                                       OWLAnnotationSubject subject,
                                       OWLAnnotationProperty property,
                                       OWLAnnotationValue value,
                                       java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail

getAxiomWithoutAnnotations

public OWLAnnotationAssertionAxiom 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 OWLAnnotationAssertionAxiom
Specified by:
getAxiomWithoutAnnotations in interface OWLAxiom
Returns:
The annotationless version of this axiom

getAnnotatedAxiom

public OWLAnnotationAssertionAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
Description copied from interface: OWLAxiom
Gets a copy of this axiom that is annotated with the specified annotations. If this axiom has any annotations on it they will be merged with the specified set of annotations. Note that this axiom will not be modified (or remove from any ontologies).

Specified by:
getAnnotatedAxiom in interface OWLAxiom
Parameters:
annotations - The annotations that will be added to existing annotations to annotate the copy of this axiom
Returns:
A copy of this axiom that has the specified annotations plus any existing annotations returned by the OWLAxiom#getAnnotations() method.

getValue

public OWLAnnotationValue getValue()
Specified by:
getValue in interface OWLAnnotationAssertionAxiom

getSubject

public OWLAnnotationSubject getSubject()
Specified by:
getSubject in interface OWLAnnotationAssertionAxiom

getProperty

public OWLAnnotationProperty getProperty()
Specified by:
getProperty in interface OWLAnnotationAssertionAxiom

getAnnotation

public OWLAnnotation getAnnotation()
Specified by:
getAnnotation in interface OWLAnnotationAssertionAxiom

isLogicalAxiom

public boolean isLogicalAxiom()
Description copied from interface: OWLAxiom
Determines if this axiom is a logical axiom. Logical axioms are defined to be axioms other than both declaration axioms (including imports declarations) and annotation axioms.

Specified by:
isLogicalAxiom in interface OWLAxiom
Returns:
true if the axiom is a logical axiom, false if the axiom is not a logical axiom.

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)
Specified by:
compareObjectOfSameType in class OWLObjectImpl

accept

public void accept(OWLObjectVisitor visitor)
Specified by:
accept in interface OWLObject

accept

public void accept(OWLAxiomVisitor visitor)
Specified by:
accept in interface OWLAxiom

accept

public <O> O accept(OWLAxiomVisitorEx<O> visitor)
Specified by:
accept in interface OWLAxiom

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)
Specified by:
accept in interface OWLObject

getAxiomType

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

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLAxiomImpl