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

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.OWLIndividualAxiomImpl
                  extended by uk.ac.manchester.cs.owl.owlapi.OWLClassAssertionImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAssertionAxiom, OWLIndividualAxiom, OWLLogicalAxiom, OWLObject

public class OWLClassAssertionImpl
extends OWLIndividualAxiomImpl
implements OWLClassAssertionAxiom

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


Constructor Summary
OWLClassAssertionImpl(OWLDataFactory dataFactory, OWLIndividual individual, OWLClassExpression classExpression, 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)
           
 OWLSubClassOfAxiom asOWLSubClassOfAxiom()
           
protected  int compareObjectOfSameType(OWLObject object)
           
 boolean equals(java.lang.Object obj)
           
 OWLClassAssertionAxiom 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.
 OWLClassAssertionAxiom getAxiomWithoutAnnotations()
          Gets an axiom that is structurally equivalent to this axiom without annotations.
 OWLClassExpression getClassExpression()
           
 OWLIndividual getIndividual()
           
 
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.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

OWLClassAssertionImpl

public OWLClassAssertionImpl(OWLDataFactory dataFactory,
                             OWLIndividual individual,
                             OWLClassExpression classExpression,
                             java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail

getAxiomWithoutAnnotations

public OWLClassAssertionAxiom 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 OWLClassAssertionAxiom
Returns:
The annotationless version of this axiom

getAnnotatedAxiom

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

getClassExpression

public OWLClassExpression getClassExpression()
Specified by:
getClassExpression in interface OWLClassAssertionAxiom

getIndividual

public OWLIndividual getIndividual()
Specified by:
getIndividual in interface OWLClassAssertionAxiom

equals

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

asOWLSubClassOfAxiom

public OWLSubClassOfAxiom asOWLSubClassOfAxiom()
Specified by:
asOWLSubClassOfAxiom in interface OWLClassAssertionAxiom

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)
Specified by:
compareObjectOfSameType in class OWLObjectImpl