org.coode.oppl.search

Class AbstractOPPLAxiomSearchTree

java.lang.Object

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

org.coode.oppl.search.AbstractOPPLAxiomSearchTree

Direct Known Subclasses:

OPPLAssertedOWLAxiomSearchTree, OPPLInferredOWLAxiomSearchTree

public abstract class AbstractOPPLAxiomSearchTree
extends SearchTree<OPPLOWLAxiomSearchNode>

axiom search tree

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<org.semanticweb.owlapi.model.OWLAnnotationProperty>	allAnnotationProperties
protected Set<org.semanticweb.owlapi.model.OWLClass>	allClasses
protected Set<org.semanticweb.owlapi.model.OWLLiteral>	allConstants
protected Set<org.semanticweb.owlapi.model.OWLDataProperty>	allDataProperties
protected Set<org.semanticweb.owlapi.model.OWLIndividual>	allIndividuals
protected Set<org.semanticweb.owlapi.model.OWLObjectProperty>	allObjectProperties

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractOPPLAxiomSearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)

Method Summary

Modifier and Type	Method and Description
boolean	exhaustiveSearchTree(OPPLOWLAxiomSearchNode start, List<List<OPPLOWLAxiomSearchNode>> solutions)
protected List<OPPLOWLAxiomSearchNode>	getChildren(OPPLOWLAxiomSearchNode node)
ConstraintSystem	getConstraintSystem()
RuntimeExceptionHandler	getRuntimeExceptionHandler()
protected abstract boolean	goalReached(OPPLOWLAxiomSearchNode start)

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

Field Detail

allClasses

protected final Set<org.semanticweb.owlapi.model.OWLClass> allClasses

allObjectProperties

protected final Set<org.semanticweb.owlapi.model.OWLObjectProperty> allObjectProperties

allAnnotationProperties

protected final Set<org.semanticweb.owlapi.model.OWLAnnotationProperty> allAnnotationProperties

allDataProperties

protected final Set<org.semanticweb.owlapi.model.OWLDataProperty> allDataProperties

allIndividuals

protected final Set<org.semanticweb.owlapi.model.OWLIndividual> allIndividuals

allConstants

protected final Set<org.semanticweb.owlapi.model.OWLLiteral> allConstants

Constructor Detail

AbstractOPPLAxiomSearchTree

protected AbstractOPPLAxiomSearchTree(ConstraintSystem constraintSystem,
                                      RuntimeExceptionHandler runtimeExceptionHandler)

Method Detail

goalReached

protected abstract boolean goalReached(OPPLOWLAxiomSearchNode start)

Specified by:

goalReached in class SearchTree<OPPLOWLAxiomSearchNode>

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.

getChildren

protected List<OPPLOWLAxiomSearchNode> getChildren(OPPLOWLAxiomSearchNode node)

Specified by:

getChildren in class SearchTree<OPPLOWLAxiomSearchNode>

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

exhaustiveSearchTree

public boolean exhaustiveSearchTree(OPPLOWLAxiomSearchNode start,
                                    List<List<OPPLOWLAxiomSearchNode>> solutions)

Overrides:

exhaustiveSearchTree in class SearchTree<OPPLOWLAxiomSearchNode>

Parameters:

start - start

solutions - solutions

Returns:

true if found

getRuntimeExceptionHandler

public RuntimeExceptionHandler getRuntimeExceptionHandler()

Returns:

the runtimeExceptionHandler