org.coode.oppl.search

Class OWLAxiomSearchTree

java.lang.Object

org.coode.oppl.search.SearchTree<org.semanticweb.owlapi.model.OWLAxiom>

org.coode.oppl.search.OWLAxiomSearchTree

public class OWLAxiomSearchTree
extends SearchTree<org.semanticweb.owlapi.model.OWLAxiom>

Author:

Luigi Iannone

Field Summary

Fields

Modifier and Type	Field and Description
protected VariableTypeVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLObject>>	assignableValuesVisitor

Constructor Summary

Constructors

Constructor and Description
OWLAxiomSearchTree(ValueComputationParameters parameters)

Method Summary

Modifier and Type	Method and Description
protected Set<org.semanticweb.owlapi.model.OWLAnnotationProperty>	getAllAnnotationProperties()
protected Set<org.semanticweb.owlapi.model.OWLClass>	getAllClasses()
protected Set<org.semanticweb.owlapi.model.OWLLiteral>	getAllConstants()
protected Set<org.semanticweb.owlapi.model.OWLDataProperty>	getAllDataProperties()
protected Set<org.semanticweb.owlapi.model.OWLNamedIndividual>	getAllIndividuals()
VariableTypeVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLObject>>	getAssignableValuesVisitor()
protected List<org.semanticweb.owlapi.model.OWLAxiom>	getChildren(org.semanticweb.owlapi.model.OWLAxiom node)
protected Set<org.semanticweb.owlapi.model.OWLObjectProperty>	getObjectProperties()
ValueComputationParameters	getParameters()
protected boolean	goalReached(org.semanticweb.owlapi.model.OWLAxiom start)

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

depthFirstSearch, exhaustiveDepthFirstSearch, exhaustiveSearchTree

Methods inherited from class java.lang.Object

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

Field Detail

assignableValuesVisitor

protected final VariableTypeVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLObject>> assignableValuesVisitor

Constructor Detail

OWLAxiomSearchTree

public OWLAxiomSearchTree(ValueComputationParameters parameters)

Parameters:

parameters - parameters

Method Detail

getParameters

public ValueComputationParameters getParameters()

Returns:

the parameters

getChildren

protected List<org.semanticweb.owlapi.model.OWLAxiom> getChildren(org.semanticweb.owlapi.model.OWLAxiom node)

Specified by:

getChildren in class SearchTree<org.semanticweb.owlapi.model.OWLAxiom>

goalReached

protected boolean goalReached(org.semanticweb.owlapi.model.OWLAxiom start)

Specified by:

goalReached in class SearchTree<org.semanticweb.owlapi.model.OWLAxiom>

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.

getAllClasses

protected Set<org.semanticweb.owlapi.model.OWLClass> getAllClasses()

getAllConstants

protected Set<org.semanticweb.owlapi.model.OWLLiteral> getAllConstants()

getAllDataProperties

protected Set<org.semanticweb.owlapi.model.OWLDataProperty> getAllDataProperties()

getAllAnnotationProperties

protected Set<org.semanticweb.owlapi.model.OWLAnnotationProperty> getAllAnnotationProperties()

getAllIndividuals

protected Set<org.semanticweb.owlapi.model.OWLNamedIndividual> getAllIndividuals()

getObjectProperties

protected Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectProperties()

getAssignableValuesVisitor

public VariableTypeVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLObject>> getAssignableValuesVisitor()

Returns:

the assignableValuesVisitor