org.coode.oppl.search.solvability

Interface AxiomSolvability

All Known Implementing Classes:

AbstractAxiomSolvability, MultipleAxiomSolvability, NoResultsAxiomSolvability, OWLClassSubClassOfAxiomSolvability, OWLObjectPropertyFillersAxiomSolvability, QuerySolverBasedAbstractAxiomSolvability

public interface AxiomSolvability

Author:

Luigi Iannone

Method Summary

Modifier and Type	Method and Description
SolvabilitySearchNode	getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)

Method Detail

getSolvabilitySearchNode

SolvabilitySearchNode getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom,
                                               BindingNode bindingNode)

Parameters:

owlAxiom - owlAxiom

bindingNode - bindingNode

Returns:

solvability search node