org.semanticweb.HermiT.structural

Class ExpressionManager

java.lang.Object

org.semanticweb.HermiT.structural.ExpressionManager

public class ExpressionManager
extends Object

Constructor Summary

Constructors

Constructor and Description
ExpressionManager(org.semanticweb.owlapi.model.OWLDataFactory factory)

Method Summary

Modifier and Type	Method and Description
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

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

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)