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

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.OWLLogicalAxiomImpl
              extended by uk.ac.manchester.cs.owl.owlapi.OWLClassAxiomImpl
                  extended by uk.ac.manchester.cs.owl.owlapi.OWLNaryClassAxiomImpl
                      extended by uk.ac.manchester.cs.owl.owlapi.OWLDisjointUnionAxiomImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLDisjointUnionAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLObject

public class OWLDisjointUnionAxiomImpl
extends OWLNaryClassAxiomImpl
implements OWLDisjointUnionAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006


Constructor Summary
OWLDisjointUnionAxiomImpl(OWLDataFactory dataFactory, OWLClass owlClass, java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Set<? 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)
           
 OWLDisjointUnionAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
          Gets a copy of this axiom that is annotated with the specified annotations.
 AxiomType getAxiomType()
          Gets the axiom type for this axiom.
 OWLDisjointUnionAxiom getAxiomWithoutAnnotations()
          Gets an axiom that is structurally equivalent to this axiom without annotations.
 OWLClass getOWLClass()
          Gets the class which is equivalent to the disjoint union.
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLNaryClassAxiomImpl
getClassExpressions, getClassExpressionsMinus
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
isLogicalAxiom
 
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.OWLDisjointUnionAxiom
getClassExpressions
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLNaryClassAxiom
getClassExpressionsMinus
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom
getAnnotations, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, 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
 

Constructor Detail

OWLDisjointUnionAxiomImpl

public OWLDisjointUnionAxiomImpl(OWLDataFactory dataFactory,
                                 OWLClass owlClass,
                                 java.util.Set<? extends OWLClassExpression> classExpressions,
                                 java.util.Set<? extends OWLAnnotation> annotations)
Method Detail

getAxiomWithoutAnnotations

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

getAnnotatedAxiom

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

getOWLClass

public OWLClass getOWLClass()
Description copied from interface: OWLDisjointUnionAxiom
Gets the class which is equivalent to the disjoint union.

Specified by:
getOWLClass in interface OWLDisjointUnionAxiom

equals

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

accept

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

accept

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

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.

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)
Overrides:
compareObjectOfSameType in class OWLNaryClassAxiomImpl