org.semanticweb.HermiT.existentials

Class AbstractExpansionStrategy

java.lang.Object

org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

All Implemented Interfaces:

Serializable, ExistentialExpansionStrategy

Direct Known Subclasses:

CreationOrderStrategy, IndividualReuseStrategy

public abstract class AbstractExpansionStrategy
extends Object
implements ExistentialExpansionStrategy, Serializable

Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AbstractExpansionStrategy(BlockingStrategy blockingStrategy, boolean expandNodeAtATime)

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	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)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

isDeterministic

Constructor Detail

AbstractExpansionStrategy

public AbstractExpansionStrategy(BlockingStrategy blockingStrategy,
                                 boolean expandNodeAtATime)

Parameters:

blockingStrategy - blockingStrategy

expandNodeAtATime - expandNodeAtATime

Method Detail

initialize

public void initialize(Tableau tableau)

Specified by:

initialize in interface ExistentialExpansionStrategy

Parameters:

tableau - tableau

additionalDLOntologySet

public void additionalDLOntologySet(DLOntology additionalDLOntology)

Specified by:

additionalDLOntologySet in interface ExistentialExpansionStrategy

Parameters:

additionalDLOntology - additionalDLOntology

additionalDLOntologyCleared

public void additionalDLOntologyCleared()

Specified by:

additionalDLOntologyCleared in interface ExistentialExpansionStrategy

clear

public void clear()

Description copied from interface: ExistentialExpansionStrategy

Clear.

Specified by:

clear in interface ExistentialExpansionStrategy

expandExistentials

public boolean expandExistentials(boolean finalChance)

Specified by:

expandExistentials in interface ExistentialExpansionStrategy

Parameters:

finalChance - finalChance

Returns:

true if expanded

assertionAdded

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

Specified by:

assertionAdded in interface ExistentialExpansionStrategy

Parameters:

concept - concept

node - node

isCore - isCore

assertionCoreSet

public void assertionCoreSet(Concept concept,
                             Node node)

Specified by:

assertionCoreSet in interface ExistentialExpansionStrategy

Parameters:

concept - concept

node - node

assertionRemoved

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

Specified by:

assertionRemoved in interface ExistentialExpansionStrategy

Parameters:

concept - concept

node - node

isCore - isCore

assertionAdded

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

Specified by:

assertionAdded in interface ExistentialExpansionStrategy

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

assertionCoreSet

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

Specified by:

assertionCoreSet in interface ExistentialExpansionStrategy

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

assertionRemoved

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

Specified by:

assertionRemoved in interface ExistentialExpansionStrategy

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

nodesMerged

public void nodesMerged(Node mergeFrom,
                        Node mergeInto)

Specified by:

nodesMerged in interface ExistentialExpansionStrategy

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodesUnmerged

public void nodesUnmerged(Node mergeFrom,
                          Node mergeInto)

Specified by:

nodesUnmerged in interface ExistentialExpansionStrategy

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodeStatusChanged

public void nodeStatusChanged(Node node)

Specified by:

nodeStatusChanged in interface ExistentialExpansionStrategy

Parameters:

node - node

nodeInitialized

public void nodeInitialized(Node node)

Specified by:

nodeInitialized in interface ExistentialExpansionStrategy

Parameters:

node - node

nodeDestroyed

public void nodeDestroyed(Node node)

Specified by:

nodeDestroyed in interface ExistentialExpansionStrategy

Parameters:

node - node

branchingPointPushed

public void branchingPointPushed()

Description copied from interface: ExistentialExpansionStrategy

Branching point pushed.

Specified by:

branchingPointPushed in interface ExistentialExpansionStrategy

backtrack

public void backtrack()

Description copied from interface: ExistentialExpansionStrategy

Backtrack.

Specified by:

backtrack in interface ExistentialExpansionStrategy

modelFound

public void modelFound()

Description copied from interface: ExistentialExpansionStrategy

Model found.

Specified by:

modelFound in interface ExistentialExpansionStrategy

isExact

public boolean isExact()

Specified by:

isExact in interface ExistentialExpansionStrategy

Returns:

true if exact

dlClauseBodyCompiled

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

Specified by:

dlClauseBodyCompiled in interface ExistentialExpansionStrategy

Parameters:

workers - workers

dlClause - dlClause

variables - variables

valuesBuffer - valuesBuffer

coreVariables - coreVariables