org.semwebcentral.sweetrules.sweetonto
Class SweetNegationNormalFormConverter

java.lang.Object
  extended byOWLDescriptionVisitorAdapter
      extended byorg.semwebcentral.sweetrules.sweetonto.SweetNegationNormalFormConverter

public class SweetNegationNormalFormConverter
extends OWLDescriptionVisitorAdapter

See Also:
Serialized Form

Field Summary
protected  OWLDataFactory m_factory
           
protected  OWLDescription m_result
           
 
Constructor Summary
SweetNegationNormalFormConverter()
           
 
Method Summary
protected  OWLDescription getComplement(OWLDescription description)
           
 OWLDescription getNegationNormalForm(OWLDescription description)
           
 void visit(OWLNot node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_factory

protected OWLDataFactory m_factory

m_result

protected OWLDescription m_result
Constructor Detail

SweetNegationNormalFormConverter

public SweetNegationNormalFormConverter()
Method Detail

getNegationNormalForm

public OWLDescription getNegationNormalForm(OWLDescription description)
                                     throws OWLException
Throws:
OWLException

getComplement

protected OWLDescription getComplement(OWLDescription description)
                                throws OWLException
Throws:
OWLException

visit

public void visit(OWLNot node)
           throws OWLException
Throws:
OWLException