org.coode.oppl.search.solvability

Class AbstractSolvabilityOPPLOWLAxiomSearchTree

java.lang.Object

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

org.coode.oppl.search.solvability.AbstractSolvabilityOPPLOWLAxiomSearchTree

Direct Known Subclasses:

AssertedSolvabilitySearchTree, InferredSolvabilitySearchTree

public abstract class AbstractSolvabilityOPPLOWLAxiomSearchTree
extends SearchTree<SolvabilitySearchNode>

Author:

Luigi Iannone

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

Constructor and Description
AbstractSolvabilityOPPLOWLAxiomSearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)

Method Summary

Modifier and Type	Method and Description
SolvabilitySearchNode	buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)
boolean	exhaustiveSearchTree(SolvabilitySearchNode start, List<List<SolvabilitySearchNode>> solutions)
protected abstract AxiomSolvability	getAxiomSolvability()
protected List<SolvabilitySearchNode>	getChildren(SolvabilitySearchNode node)
ConstraintSystem	getConstraintSystem()
RuntimeExceptionHandler	getRuntimeExceptionHandler()
protected List<SolvabilitySearchNode>	getUnsolvableNodeChildren(UnsolvableSearchNode node)
protected boolean	goalReached(SolvabilitySearchNode node)
protected abstract boolean	goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)

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

allConstants

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

allDataProperties

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

allIndividuals

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

allObjectProperties

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

allAnnotationProperties

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

Constructor Detail

AbstractSolvabilityOPPLOWLAxiomSearchTree

public AbstractSolvabilityOPPLOWLAxiomSearchTree(ConstraintSystem constraintSystem,
                                                 RuntimeExceptionHandler runtimeExceptionHandler)

Parameters:

constraintSystem - constraintSystem

runtimeExceptionHandler - runtimeExceptionHandler

Method Detail

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

goalReached

protected boolean goalReached(SolvabilitySearchNode node)

Specified by:

goalReached in class SearchTree<SolvabilitySearchNode>

Parameters:

node - 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.

goalReachedUnsolvabelNode

protected abstract boolean goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)

getChildren

protected List<SolvabilitySearchNode> getChildren(SolvabilitySearchNode node)

Specified by:

getChildren in class SearchTree<SolvabilitySearchNode>

getUnsolvableNodeChildren

protected List<SolvabilitySearchNode> getUnsolvableNodeChildren(UnsolvableSearchNode node)

exhaustiveSearchTree

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

Overrides:

exhaustiveSearchTree in class SearchTree<SolvabilitySearchNode>

Parameters:

start - start

solutions - solutions

Returns:

true if found

getAxiomSolvability

protected abstract AxiomSolvability getAxiomSolvability()

buildSolvabilitySearchNode

public SolvabilitySearchNode buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                                        BindingNode bindingNode)

Parameters:

axiom - axiom

bindingNode - bindingNode

Returns:

solvability search node

getRuntimeExceptionHandler

public RuntimeExceptionHandler getRuntimeExceptionHandler()

Returns:

the runtimeExceptionHandler