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