org.coode.oppl.search.solvability

Interfaces

• AxiomSolvability
• QuerySolver
• SolvabilitySearchNodeVisitor
• SolvabilitySearchNodeVisitorEx

Classes

• AbstractAxiomSolvability
• AbstractSolvabilityOPPLOWLAxiomSearchTree
• AssertedModelQuerySolver
• AssertedSolvabilitySearchTree
• InferredModelQuerySolver
• InferredSolvabilitySearchTree
• MultipleAxiomSolvability
• NoResultsAxiomSolvability
• NoSolutionSolvableSearchNode
• OWLClassSubClassOfAxiomSolvability
• OWLObjectPropertyFillersAxiomSolvability
• QuerySolverBasedAbstractAxiomSolvability
• SolvabilitySearchNode
• SolvableSearchNode
• SolvedSearchNode
• UnsolvableSearchNode