org.semanticweb.owlapi.normalform
Interfaces
NormalFormRewriter
Classes
NegationalNormalFormConverter
OWLObjectComplementOfExtractor