org.semanticweb.HermiT.structural
Class ExpressionManager

java.lang.Object
  extended by org.semanticweb.HermiT.structural.ExpressionManager

public class ExpressionManager
extends java.lang.Object


Nested Class Summary
protected  class ExpressionManager.DataRangeComplementNNFVisitor
           
protected  class ExpressionManager.DataRangeNNFVisitor
           
protected  class ExpressionManager.DataRangeSimplificationVisitor
           
protected  class ExpressionManager.DescriptionComplementNNFVisitor
           
protected  class ExpressionManager.DescriptionNNFVisitor
           
protected  class ExpressionManager.DescriptionSimplificationVisitor
           
 
Field Summary
protected  ExpressionManager.DataRangeComplementNNFVisitor m_dataRangeComplementNNFVisitor
           
protected  ExpressionManager.DataRangeNNFVisitor m_dataRangeNNFVisitor
           
protected  ExpressionManager.DataRangeSimplificationVisitor m_dataRangeSimplificationVisitor
           
protected  ExpressionManager.DescriptionComplementNNFVisitor m_descriptionComplementNNFVisitor
           
protected  ExpressionManager.DescriptionNNFVisitor m_descriptionNNFVisitor
           
protected  ExpressionManager.DescriptionSimplificationVisitor m_descriptionSimplificationVisitor
           
protected  org.semanticweb.owlapi.model.OWLDataFactory m_factory
           
 
Constructor Summary
ExpressionManager(org.semanticweb.owlapi.model.OWLDataFactory factory)
           
 
Method Summary
 org.semanticweb.owlapi.model.OWLClassExpression getComplementNNF(org.semanticweb.owlapi.model.OWLClassExpression description)
           
 org.semanticweb.owlapi.model.OWLDataRange getComplementNNF(org.semanticweb.owlapi.model.OWLDataRange dataRange)
           
 org.semanticweb.owlapi.model.OWLClassExpression getNNF(org.semanticweb.owlapi.model.OWLClassExpression description)
           
 org.semanticweb.owlapi.model.OWLDataRange getNNF(org.semanticweb.owlapi.model.OWLDataRange dataRange)
           
 org.semanticweb.owlapi.model.OWLClassExpression getSimplified(org.semanticweb.owlapi.model.OWLClassExpression description)
           
 org.semanticweb.owlapi.model.OWLDataRange getSimplified(org.semanticweb.owlapi.model.OWLDataRange dataRange)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_factory

protected final org.semanticweb.owlapi.model.OWLDataFactory m_factory

m_descriptionNNFVisitor

protected final ExpressionManager.DescriptionNNFVisitor m_descriptionNNFVisitor

m_dataRangeNNFVisitor

protected final ExpressionManager.DataRangeNNFVisitor m_dataRangeNNFVisitor

m_descriptionComplementNNFVisitor

protected final ExpressionManager.DescriptionComplementNNFVisitor m_descriptionComplementNNFVisitor

m_dataRangeComplementNNFVisitor

protected final ExpressionManager.DataRangeComplementNNFVisitor m_dataRangeComplementNNFVisitor

m_descriptionSimplificationVisitor

protected final ExpressionManager.DescriptionSimplificationVisitor m_descriptionSimplificationVisitor

m_dataRangeSimplificationVisitor

protected final ExpressionManager.DataRangeSimplificationVisitor m_dataRangeSimplificationVisitor
Constructor Detail

ExpressionManager

public ExpressionManager(org.semanticweb.owlapi.model.OWLDataFactory factory)
Method Detail

getNNF

public org.semanticweb.owlapi.model.OWLClassExpression getNNF(org.semanticweb.owlapi.model.OWLClassExpression description)

getNNF

public org.semanticweb.owlapi.model.OWLDataRange getNNF(org.semanticweb.owlapi.model.OWLDataRange dataRange)

getComplementNNF

public org.semanticweb.owlapi.model.OWLClassExpression getComplementNNF(org.semanticweb.owlapi.model.OWLClassExpression description)

getComplementNNF

public org.semanticweb.owlapi.model.OWLDataRange getComplementNNF(org.semanticweb.owlapi.model.OWLDataRange dataRange)

getSimplified

public org.semanticweb.owlapi.model.OWLClassExpression getSimplified(org.semanticweb.owlapi.model.OWLClassExpression description)

getSimplified

public org.semanticweb.owlapi.model.OWLDataRange getSimplified(org.semanticweb.owlapi.model.OWLDataRange dataRange)