@ParametersAreNonnullByDefault

Package org.semanticweb.owlapi.debugging

Debugging package.

See: Description

Interface Summary

Interface	Description
OWLDebugger

Class Summary

Class	Description
AbstractOWLDebugger	An abstract debugger which provides common infrastructure for finding multiple justification.
BlackBoxOWLDebugger	This is an implementation of a black box debugger.
DebuggerClassExpressionGenerator
JustificationMap

Package org.semanticweb.owlapi.debugging Description

Debugging package.