org.coode.oppl.search.solvability

Class OWLClassSubClassOfAxiomSolvability

java.lang.Object

org.coode.oppl.search.solvability.AbstractAxiomSolvability

org.coode.oppl.search.solvability.QuerySolverBasedAbstractAxiomSolvability

org.coode.oppl.search.solvability.OWLClassSubClassOfAxiomSolvability

All Implemented Interfaces:

AxiomSolvability

public final class OWLClassSubClassOfAxiomSolvability
extends QuerySolverBasedAbstractAxiomSolvability

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
OWLClassSubClassOfAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)

Method Summary

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

Methods inherited from class org.coode.oppl.search.solvability.QuerySolverBasedAbstractAxiomSolvability

getQuerySolver

Methods inherited from class org.coode.oppl.search.solvability.AbstractAxiomSolvability

getConstraintSystem

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OWLClassSubClassOfAxiomSolvability

public OWLClassSubClassOfAxiomSolvability(ConstraintSystem constraintSystem,
                                          QuerySolver querySolver)

Parameters:

constraintSystem - constraintSystem

querySolver - querySolver

Method Detail

getSolvabilitySearchNode

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

Parameters:

owlAxiom - owlAxiom

bindingNode - bindingNode

Returns:

solvability search node