Package | Description |
---|---|
org.semanticweb.owlapi.reasoner.knowledgeexploration |
Knowledge exploration package.
|
Class and Description |
---|
OWLKnowledgeExplorerReasoner.RootNode
Interface for a tableaux node.
|
Copyright © 2020 The University of Manchester. All rights reserved.