org.semanticweb.owlapi.reasoner.knowledgeexploration

Interface OWLKnowledgeExplorerReasoner.RootNode

Enclosing interface:

OWLKnowledgeExplorerReasoner

public static interface OWLKnowledgeExplorerReasoner.RootNode

Interface for a tableaux node.

Method Summary

Methods

Modifier and Type	Method and Description
<T> T	getNode()

Method Detail

getNode

<T> T getNode()

Type Parameters:

T - actual node type

Returns:

inner node representation