org.coode.oppl.search

Class OPPLAssertedOWLAxiomSearchTree

java.lang.Object

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

org.coode.oppl.search.AbstractOPPLAxiomSearchTree

org.coode.oppl.search.OPPLAssertedOWLAxiomSearchTree

public class OPPLAssertedOWLAxiomSearchTree
extends AbstractOPPLAxiomSearchTree

Author:

Luigi Iannone

Field Summary

Fields inherited from class org.coode.oppl.search.AbstractOPPLAxiomSearchTree

allAnnotationProperties, allClasses, allConstants, allDataProperties, allIndividuals, allObjectProperties

Constructor Summary

Constructors

Constructor and Description
OPPLAssertedOWLAxiomSearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)

Method Summary

Modifier and Type	Method and Description
protected boolean	goalReached(OPPLOWLAxiomSearchNode start)

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

exhaustiveSearchTree, getChildren, getConstraintSystem, getRuntimeExceptionHandler, nextElement

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

OPPLAssertedOWLAxiomSearchTree

public OPPLAssertedOWLAxiomSearchTree(ConstraintSystem constraintSystem,
                                      RuntimeExceptionHandler runtimeExceptionHandler)

Parameters:

constraintSystem - constraintSystem

runtimeExceptionHandler - runtimeExceptionHandler

Method Detail

goalReached

protected boolean goalReached(OPPLOWLAxiomSearchNode start)

Specified by:

goalReached in class AbstractOPPLAxiomSearchTree

Parameters:

start - node

Returns:

true if the input OPPLOWLAxiomSearchNode represents an OWLAxiom that is contained in one of the ontologies managed by the ontology manager encapsulated in this OPPLOWLAxiomSearchTree.