org.semanticweb.owlapi.normalform (OWLAPI :: Atomic Decomposition and Explanation 5.0.5 API)

Interface Summary
Interface	Description
NormalFormRewriter

Class Summary
Class	Description
NegationalNormalFormConverter
OWLObjectComplementOfExtractor	Extracts the parts of a class expression which are negated.

Package org.semanticweb.owlapi.normalform Description

Normal form package.