org.semanticweb.owlapi.normalform

Class NegationalNormalFormConverter