@ParametersAreNonnullByDefault

Package org.semanticweb.owlapi.reasoner.knowledgeexploration

Knowledge exploration package.

See: Description

Interface Summary

Interface	Description
OWLKnowledgeExplorerReasoner	Extension of OWLReasoner to allow access to reasoner completion graph.
OWLKnowledgeExplorerReasoner.RootNode	Interface for a tableaux node.

Package org.semanticweb.owlapi.reasoner.knowledgeexploration Description

Knowledge exploration package. OWLKnowledgeExplorerReasoner provides access to the tableaux tree