org.coode.patterns.locality

Class LocalityChecker

java.lang.Object

org.coode.patterns.locality.LocalityChecker

public class LocalityChecker
extends Object

Author:

Luigi Iannone

Field Summary

Fields

Modifier and Type	Field and Description
protected org.semanticweb.owlapi.model.OWLOntology	scratchpad

Constructor Summary

Constructors

Constructor and Description
LocalityChecker(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.reasoner.OWLReasoner r, Collection<? extends org.semanticweb.owlapi.model.OWLEntity> entities, RuntimeExceptionHandler handler)

Method Summary

Modifier and Type	Method and Description
Map<Variable<?>,SigmaPlusSigmaMinus>	buildMinimalBindingNodes()
static Set<org.semanticweb.owlapi.model.OWLEntity>	collectEntities(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
Map<Variable<?>,Collection<org.semanticweb.owlapi.model.OWLObject>>	extractAllPossibleBindingNodes(org.semanticweb.owlapi.model.OWLOntology o, Set<org.semanticweb.owlapi.model.OWLEntity> signature)
Set<org.semanticweb.owlapi.model.OWLEntity>	getEntities()
LocalityEvaluator	getEvaluator()
List<BindingNode>	getExploredNodes()
List<Boolean>	getExploredNodesLocality()
RuntimeExceptionHandler	getHandler()
InstantiatedPatternModel	getInstantiatedPatternModel()
List<org.semanticweb.owlapi.model.OWLAxiom>	getNonLocalAxioms()
Set<org.semanticweb.owlapi.model.OWLEntity>	getSigmaMinus()
Set<org.semanticweb.owlapi.model.OWLEntity>	getSigmaPlus()
Map<Variable<?>,SigmaPlusSigmaMinus>	getSigmaValues()
boolean	isLocal()
void	setEvaluator(LocalityEvaluator evaluator)
void	setInstantiatedPatternModel(InstantiatedPatternModel m)
void	setSignature(Collection<? extends org.semanticweb.owlapi.model.OWLEntity> owlentities)

Methods inherited from class java.lang.Object

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

Field Detail

scratchpad

protected final org.semanticweb.owlapi.model.OWLOntology scratchpad

Constructor Detail

LocalityChecker

public LocalityChecker(org.semanticweb.owlapi.model.OWLOntologyManager manager,
                       org.semanticweb.owlapi.reasoner.OWLReasoner r,
                       Collection<? extends org.semanticweb.owlapi.model.OWLEntity> entities,
                       RuntimeExceptionHandler handler)

Parameters:

manager - manager

r - r

entities - entities

handler - handler

Method Detail

setSignature

public void setSignature(Collection<? extends org.semanticweb.owlapi.model.OWLEntity> owlentities)

Parameters:

owlentities - owlentities

setInstantiatedPatternModel

public void setInstantiatedPatternModel(InstantiatedPatternModel m)

Parameters:

m - m

isLocal

public boolean isLocal()

Returns:

true if local

extractAllPossibleBindingNodes

public Map<Variable<?>,Collection<org.semanticweb.owlapi.model.OWLObject>> extractAllPossibleBindingNodes(org.semanticweb.owlapi.model.OWLOntology o,
                                                                                                          Set<org.semanticweb.owlapi.model.OWLEntity> signature)

Parameters:

o - o

signature - signature

Returns:

all binding nodes

buildMinimalBindingNodes

public Map<Variable<?>,SigmaPlusSigmaMinus> buildMinimalBindingNodes()

Returns:

minimal binding nodes

getNonLocalAxioms

public List<org.semanticweb.owlapi.model.OWLAxiom> getNonLocalAxioms()

Returns:

non local axioms

getExploredNodes

public List<BindingNode> getExploredNodes()

Returns:

explored nodes

getExploredNodesLocality

public List<Boolean> getExploredNodesLocality()

Returns:

explored nodes locality

collectEntities

public static Set<org.semanticweb.owlapi.model.OWLEntity> collectEntities(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Parameters:

ontologies - ontologies

Returns:

collected entities

getInstantiatedPatternModel

public InstantiatedPatternModel getInstantiatedPatternModel()

Returns:

the instantiatedPatternModel

getEvaluator

public LocalityEvaluator getEvaluator()

Returns:

the evaluator

setEvaluator

public void setEvaluator(LocalityEvaluator evaluator)

Parameters:

evaluator - the evaluator to set

getEntities

public Set<org.semanticweb.owlapi.model.OWLEntity> getEntities()

Returns:

the entities

getSigmaValues

public Map<Variable<?>,SigmaPlusSigmaMinus> getSigmaValues()

Returns:

sigma values

getSigmaMinus

public Set<org.semanticweb.owlapi.model.OWLEntity> getSigmaMinus()

Returns:

sigma minus

getSigmaPlus

public Set<org.semanticweb.owlapi.model.OWLEntity> getSigmaPlus()

Returns:

sigma plus

getHandler

public RuntimeExceptionHandler getHandler()

Returns:

the handler