org.semanticweb.HermiT.blocking

Interface BlockingStrategy

All Known Implementing Classes:

AncestorBlocking, AnywhereBlocking, AnywhereValidatedBlocking

public interface BlockingStrategy

Author:

ignazio

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	assertionAdded(DataRange range, Node node, boolean isCore)
void	assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
void	assertionCoreSet(Concept concept, Node node)
void	assertionCoreSet(DataRange range, Node node)
void	assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
void	assertionRemoved(Concept concept, Node node, boolean isCore)
void	assertionRemoved(DataRange range, Node node, boolean isCore)
void	clear()
void	computeBlocking(boolean finalChance)
void	dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	initialize(Tableau tableau)
boolean	isExact()
boolean	isPermanentAssertion(Concept concept, Node node)
boolean	isPermanentAssertion(DataRange range, Node node)
void	modelFound()
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()

computeBlocking

void computeBlocking(boolean finalChance)

Parameters:

finalChance - finalChance

isPermanentAssertion

boolean isPermanentAssertion(Concept concept,
                             Node node)

Parameters:

concept - concept

node - node

Returns:

true if permanent

isPermanentAssertion

boolean isPermanentAssertion(DataRange range,
                             Node node)

Parameters:

range - range

node - node

Returns:

true if permanent

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(DataRange range,
                    Node node,
                    boolean isCore)

Parameters:

range - range

node - node

isCore - isCore

assertionCoreSet

void assertionCoreSet(DataRange range,
                      Node node)

Parameters:

range - range

node - node

assertionRemoved

void assertionRemoved(DataRange range,
                      Node node,
                      boolean isCore)

Parameters:

range - range

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

modelFound

void modelFound()

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