org.semanticweb.HermiT.existentials

Interface ExistentialExpansionStrategy

All Known Implementing Classes:

AbstractExpansionStrategy, CreationOrderStrategy, IndividualReuseStrategy

public interface ExistentialExpansionStrategy

Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced. The latter is usually delegated to tableau.ExistentialExpansionManager, but strategies are free to provide their own node-introduction implementations (but be careful---it's tough to get right!)

Method Summary

Modifier and Type	Method and Description
void	additionalDLOntologyCleared()
void	additionalDLOntologySet(DLOntology additionalDLOntology)
void	assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
void	assertionAdded(Concept concept, Node node, boolean isCore)
void	assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
void	assertionCoreSet(Concept concept, Node node)
void	assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
void	assertionRemoved(Concept concept, Node node, boolean isCore)
void	backtrack() Backtrack.
void	branchingPointPushed() Branching point pushed.
void	clear() Clear.
void	dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
boolean	expandExistentials(boolean finalChance)
void	initialize(Tableau tableau)
boolean	isDeterministic()
boolean	isExact()
void	modelFound() Model found.
void	nodeDestroyed(Node node)
void	nodeInitialized(Node node)
void	nodesMerged(Node mergeFrom, Node mergeInto)
void	nodeStatusChanged(Node node)
void	nodesUnmerged(Node mergeFrom, Node mergeInto)

Method Detail

initialize

void initialize(Tableau tableau)

Parameters:

tableau - tableau

additionalDLOntologySet

void additionalDLOntologySet(DLOntology additionalDLOntology)

Parameters:

additionalDLOntology - additionalDLOntology

additionalDLOntologyCleared

void additionalDLOntologyCleared()

clear

void clear()

Clear.

expandExistentials

boolean expandExistentials(boolean finalChance)

Parameters:

finalChance - finalChance

Returns:

true if expanded

assertionAdded

void assertionAdded(Concept concept,
                    Node node,
                    boolean isCore)

Parameters:

concept - concept

node - node

isCore - isCore

assertionCoreSet

void assertionCoreSet(Concept concept,
                      Node node)

Parameters:

concept - concept

node - node

assertionRemoved

void assertionRemoved(Concept concept,
                      Node node,
                      boolean isCore)

Parameters:

concept - concept

node - node

isCore - isCore

assertionAdded

void assertionAdded(AtomicRole atomicRole,
                    Node nodeFrom,
                    Node nodeTo,
                    boolean isCore)

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

assertionCoreSet

void assertionCoreSet(AtomicRole atomicRole,
                      Node nodeFrom,
                      Node nodeTo)

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

assertionRemoved

void assertionRemoved(AtomicRole atomicRole,
                      Node nodeFrom,
                      Node nodeTo,
                      boolean isCore)

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

nodesMerged

void nodesMerged(Node mergeFrom,
                 Node mergeInto)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodesUnmerged

void nodesUnmerged(Node mergeFrom,
                   Node mergeInto)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodeStatusChanged

void nodeStatusChanged(Node node)

Parameters:

node - node

nodeInitialized

void nodeInitialized(Node node)

Parameters:

node - node

nodeDestroyed

void nodeDestroyed(Node node)

Parameters:

node - node

branchingPointPushed

void branchingPointPushed()

Branching point pushed.

backtrack

void backtrack()

Backtrack.

modelFound

void modelFound()

Model found.

isDeterministic

boolean isDeterministic()

Returns:

true if deterministic

isExact

boolean isExact()

Returns:

true if exact

dlClauseBodyCompiled

void dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers,
                          DLClause dlClause,
                          List<Variable> variables,
                          Object[] valuesBuffer,
                          boolean[] coreVariables)

Parameters:

workers - workers

dlClause - dlClause

variables - variables

valuesBuffer - valuesBuffer

coreVariables - coreVariables