org.coode.oppl.search.solvability

Class OWLObjectPropertyFillersAxiomSolvability

java.lang.Object

org.coode.oppl.search.solvability.AbstractAxiomSolvability

org.coode.oppl.search.solvability.QuerySolverBasedAbstractAxiomSolvability

org.coode.oppl.search.solvability.OWLObjectPropertyFillersAxiomSolvability

All Implemented Interfaces:

AxiomSolvability

public class OWLObjectPropertyFillersAxiomSolvability
extends QuerySolverBasedAbstractAxiomSolvability

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
OWLObjectPropertyFillersAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)

Method Summary

Methods

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

OWLObjectPropertyFillersAxiomSolvability

public OWLObjectPropertyFillersAxiomSolvability(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