| Package | Description |
|---|---|
| org.coode.oppl.search.solvability |
| Class and Description |
|---|
| AbstractAxiomSolvability |
| AbstractSolvabilityOPPLOWLAxiomSearchTree |
| AxiomSolvability |
| NoSolutionSolvableSearchNode |
| QuerySolver |
| QuerySolverBasedAbstractAxiomSolvability |
| SolvabilitySearchNode
Represents a search node for which it can be determined whether a single
method call to the OWL API or to the reasoner could solve the search.
|
| SolvabilitySearchNodeVisitor |
| SolvabilitySearchNodeVisitorEx |
| SolvableSearchNode |
| SolvedSearchNode |
| UnsolvableSearchNode |
Copyright © 2015 The University of Manchester. All Rights Reserved.