org.coode.oppl.search.solvability

Class AssertedSolvabilitySearchTree

java.lang.Object

org.coode.oppl.search.SearchTree<SolvabilitySearchNode>

org.coode.oppl.search.solvability.AbstractSolvabilityOPPLOWLAxiomSearchTree

org.coode.oppl.search.solvability.AssertedSolvabilitySearchTree

public class AssertedSolvabilitySearchTree
extends AbstractSolvabilityOPPLOWLAxiomSearchTree

Author:

Luigi Iannone

Field Summary

Fields inherited from class org.coode.oppl.search.solvability.AbstractSolvabilityOPPLOWLAxiomSearchTree

allAnnotationProperties, allClasses, allConstants, allDataProperties, allIndividuals, allObjectProperties

Constructor Summary

Constructors

Constructor and Description
AssertedSolvabilitySearchTree(ConstraintSystem constraintSystem, org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager, RuntimeExceptionHandler runtimeExceptionHandler)

Method Summary

Modifier and Type	Method and Description
protected AxiomSolvability	getAxiomSolvability()
org.semanticweb.owlapi.model.OWLOntologyManager	getOntologyManager()
protected boolean	goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)

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

buildSolvabilitySearchNode, exhaustiveSearchTree, getChildren, getConstraintSystem, getRuntimeExceptionHandler, getUnsolvableNodeChildren, goalReached

Methods inherited from class org.coode.oppl.search.SearchTree

depthFirstSearch, exhaustiveDepthFirstSearch

Methods inherited from class java.lang.Object

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

Constructor Detail

AssertedSolvabilitySearchTree

public AssertedSolvabilitySearchTree(ConstraintSystem constraintSystem,
                                     org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
                                     RuntimeExceptionHandler runtimeExceptionHandler)

Parameters:

constraintSystem - constraintSystem

ontologyManager - ontologyManager

runtimeExceptionHandler - runtimeExceptionHandler

Method Detail

getAxiomSolvability

protected AxiomSolvability getAxiomSolvability()

Specified by:

getAxiomSolvability in class AbstractSolvabilityOPPLOWLAxiomSearchTree

goalReachedUnsolvabelNode

protected boolean goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)

Specified by:

goalReachedUnsolvabelNode in class AbstractSolvabilityOPPLOWLAxiomSearchTree

getOntologyManager

public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()

Returns:

the ontologyManager