Package org.coode.oppl.search.solvability

Interface Summary

Interface	Description
AxiomSolvability
QuerySolver
SolvabilitySearchNodeVisitor
SolvabilitySearchNodeVisitorEx<O>

Class Summary

Class	Description
AbstractAxiomSolvability
AbstractSolvabilityOPPLOWLAxiomSearchTree
AssertedModelQuerySolver
AssertedSolvabilitySearchTree
InferredModelQuerySolver
InferredSolvabilitySearchTree
MultipleAxiomSolvability	Applies a set of solvability strategies, until either a node is solved or the strategies are exhausted.
NoResultsAxiomSolvability
NoSolutionSolvableSearchNode
OWLClassSubClassOfAxiomSolvability
OWLObjectPropertyFillersAxiomSolvability
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.
SolvableSearchNode
SolvedSearchNode
UnsolvableSearchNode