org.semanticweb.owlapi.model
Class RemoveAxiom

java.lang.Object
  extended by org.semanticweb.owlapi.model.OWLOntologyChange
      extended by org.semanticweb.owlapi.model.OWLAxiomChange
          extended by org.semanticweb.owlapi.model.RemoveAxiom

public class RemoveAxiom
extends OWLAxiomChange

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006 Represents an ontology change were an axiom will be removed from an ontology if the change is applied to an ontology.


Constructor Summary
RemoveAxiom(OWLOntology ont, OWLAxiom axiom)
           
 
Method Summary
 void accept(OWLOntologyChangeVisitor visitor)
           
 boolean equals(java.lang.Object obj)
           
 int hashCode()
           
protected  boolean isAdd()
          Determines if the change will add an axiom to an ontology, or remove an axiom from an ontology.
 java.lang.String toString()
           
 
Methods inherited from class org.semanticweb.owlapi.model.OWLAxiomChange
getAxiom, getEntities, isAxiomChange, isImportChange
 
Methods inherited from class org.semanticweb.owlapi.model.OWLOntologyChange
getOntology
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RemoveAxiom

public RemoveAxiom(OWLOntology ont,
                   OWLAxiom axiom)
Method Detail

isAdd

protected boolean isAdd()
Description copied from class: OWLAxiomChange
Determines if the change will add an axiom to an ontology, or remove an axiom from an ontology.

Specified by:
isAdd in class OWLAxiomChange
Returns:
true if the change will add an axiom to an ontology, false if the change will remove an axiom from an ontology.

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

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

accept

public void accept(OWLOntologyChangeVisitor visitor)
Specified by:
accept in class OWLOntologyChange

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object