org.semanticweb.owl.model.change
Class RemoveEquivalentClass

java.lang.Object
  |
  +--org.semanticweb.owl.model.change.OntologyChange
        |
        +--org.semanticweb.owl.model.change.RemoveEquivalentClass

public class RemoveEquivalentClass

extends OntologyChange

Remove an equivalence from a class description.

Version:

$Id: RemoveEquivalentClass.java,v 1.1.1.1 2003/10/14 17:10:09 sean_bechhofer Exp $

Field Summary

Fields inherited from class org.semanticweb.owl.model.change.OntologyChange

cause, ontology

Constructor Summary

RemoveEquivalentClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

Method Summary

void	accept(ChangeVisitor visitor) Accept a visit from a change visitor.
OWLDescription	getDescription() The equivalence
OWLClass	getOWLClass() The class

Methods inherited from class org.semanticweb.owl.model.change.OntologyChange

getCause, getOntology, setCause, setOntology

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RemoveEquivalentClass

public RemoveEquivalentClass(OWLOntology ontology,
                             OWLClass owlClass,
                             OWLDescription description,
                             OntologyChange cause)

Parameters:

ontology - an OWLOntology value

owlClass - the sub class

description - the equivalence

cause - a OntologyChange value

Method Detail

getOWLClass

public OWLClass getOWLClass()

The class

Returns:

an OWLEntity value

getDescription

public OWLDescription getDescription()

The equivalence

accept

public void accept(ChangeVisitor visitor)
            throws OWLException

Description copied from class: OntologyChange

Accept a visit from a change visitor.

Specified by:

accept in class OntologyChange

Parameters:

visitor - a ChangeVisitor value

OWLException