org.semanticweb.HermiT.structural
Class ExpressionManager
java.lang.Object
org.semanticweb.HermiT.structural.ExpressionManager
public class ExpressionManager
- extends java.lang.Object
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 |
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
ExpressionManager
public ExpressionManager(org.semanticweb.owlapi.model.OWLDataFactory factory)
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)