org.coode.oppl.search

Class OPPLAssertedSingleOWLAxiomSearchTree

java.lang.Object

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

org.coode.oppl.search.OPPLAssertedSingleOWLAxiomSearchTree

public class OPPLAssertedSingleOWLAxiomSearchTree
extends SearchTree<OPPLOWLAxiomSearchNode>

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
protected ConstraintSystem	constraintSystem
protected RuntimeExceptionHandler	runtimeExceptionHandler
protected org.semanticweb.owlapi.model.OWLAxiom	targetAxiom

Constructor Summary

Constructors

Constructor and Description
OPPLAssertedSingleOWLAxiomSearchTree(org.semanticweb.owlapi.model.OWLAxiom targetAxiom, ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	exhaustiveSearchTree(OPPLOWLAxiomSearchNode start, List<List<OPPLOWLAxiomSearchNode>> solutions)
protected void	extractFromLogicAxiom()
protected List<OPPLOWLAxiomSearchNode>	getChildren(OPPLOWLAxiomSearchNode node)
ConstraintSystem	getConstraintSystem()
RuntimeExceptionHandler	getRuntimeExceptionHandler()
org.semanticweb.owlapi.model.OWLAxiom	getTargetAxiom()
protected 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

constraintSystem

protected final ConstraintSystem constraintSystem

runtimeExceptionHandler

protected final RuntimeExceptionHandler runtimeExceptionHandler

targetAxiom

protected final org.semanticweb.owlapi.model.OWLAxiom targetAxiom

allClasses

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

allObjectProperties

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

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

allAnnotationProperties

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

Constructor Detail

OPPLAssertedSingleOWLAxiomSearchTree

public OPPLAssertedSingleOWLAxiomSearchTree(org.semanticweb.owlapi.model.OWLAxiom targetAxiom,
                                    ConstraintSystem constraintSystem,
                                    RuntimeExceptionHandler runtimeExceptionHandler)

Parameters:

targetAxiom - targetAxiom

constraintSystem - constraintSystem

runtimeExceptionHandler - runtimeExceptionHandler

Method Detail

getChildren

protected List<OPPLOWLAxiomSearchNode> getChildren(OPPLOWLAxiomSearchNode node)

Specified by:

getChildren in class SearchTree<OPPLOWLAxiomSearchNode>

goalReached

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

extractFromLogicAxiom

protected void extractFromLogicAxiom()

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

getTargetAxiom

public org.semanticweb.owlapi.model.OWLAxiom getTargetAxiom()

Returns:

the targetAxiom

getRuntimeExceptionHandler

public RuntimeExceptionHandler getRuntimeExceptionHandler()

Returns:

the runtimeExceptionHandler