org.semanticweb.HermiT.blocking

Class AnywhereValidatedBlocking

java.lang.Object

org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

All Implemented Interfaces:

BlockingStrategy

public class AnywhereValidatedBlocking
extends Object
implements BlockingStrategy

Anywhere validated blocking strategy.

Constructor Summary

Constructors

Constructor and Description
AnywhereValidatedBlocking(DirectBlockingChecker directBlockingChecker, boolean useSimpleCore)

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	computePreBlocking() Compute preblocking.
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)
void	validateBlocks() Validate blocks.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnywhereValidatedBlocking

public AnywhereValidatedBlocking(DirectBlockingChecker directBlockingChecker,
                                 boolean useSimpleCore)

Parameters:

directBlockingChecker - directBlockingChecker

useSimpleCore - useSimpleCore

Method Detail

initialize

public void initialize(Tableau tableau)

Specified by:

initialize in interface BlockingStrategy

Parameters:

tableau - tableau

additionalDLOntologySet

public void additionalDLOntologySet(DLOntology additionalDLOntology)

Specified by:

additionalDLOntologySet in interface BlockingStrategy

Parameters:

additionalDLOntology - additionalDLOntology

additionalDLOntologyCleared

public void additionalDLOntologyCleared()

Specified by:

additionalDLOntologyCleared in interface BlockingStrategy

clear

public void clear()

Specified by:

clear in interface BlockingStrategy

computeBlocking

public void computeBlocking(boolean finalChance)

Specified by:

computeBlocking in interface BlockingStrategy

Parameters:

finalChance - finalChance

computePreBlocking

public void computePreBlocking()

Compute preblocking.

validateBlocks

public void validateBlocks()

Validate blocks.

isPermanentAssertion

public boolean isPermanentAssertion(Concept concept,
                                    Node node)

Specified by:

isPermanentAssertion in interface BlockingStrategy

Parameters:

concept - concept

node - node

Returns:

true if permanent

isPermanentAssertion

public boolean isPermanentAssertion(DataRange range,
                                    Node node)

Specified by:

isPermanentAssertion in interface BlockingStrategy

Parameters:

range - range

node - node

Returns:

true if permanent

assertionAdded

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

Specified by:

assertionAdded in interface BlockingStrategy

Parameters:

concept - concept

node - node

isCore - isCore

assertionCoreSet

public void assertionCoreSet(Concept concept,
                             Node node)

Specified by:

assertionCoreSet in interface BlockingStrategy

Parameters:

concept - concept

node - node

assertionRemoved

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

Specified by:

assertionRemoved in interface BlockingStrategy

Parameters:

concept - concept

node - node

isCore - isCore

assertionAdded

public void assertionAdded(DataRange range,
                           Node node,
                           boolean isCore)

Specified by:

assertionAdded in interface BlockingStrategy

Parameters:

range - range

node - node

isCore - isCore

assertionCoreSet

public void assertionCoreSet(DataRange range,
                             Node node)

Specified by:

assertionCoreSet in interface BlockingStrategy

Parameters:

range - range

node - node

assertionRemoved

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

Specified by:

assertionRemoved in interface BlockingStrategy

Parameters:

range - range

node - node

isCore - isCore

assertionAdded

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

Specified by:

assertionAdded in interface BlockingStrategy

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

assertionCoreSet

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

Specified by:

assertionCoreSet in interface BlockingStrategy

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

assertionRemoved

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

Specified by:

assertionRemoved in interface BlockingStrategy

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

nodesMerged

public void nodesMerged(Node mergeFrom,
                        Node mergeInto)

Specified by:

nodesMerged in interface BlockingStrategy

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodesUnmerged

public void nodesUnmerged(Node mergeFrom,
                          Node mergeInto)

Specified by:

nodesUnmerged in interface BlockingStrategy

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodeStatusChanged

public void nodeStatusChanged(Node node)

Specified by:

nodeStatusChanged in interface BlockingStrategy

Parameters:

node - node

nodeInitialized

public void nodeInitialized(Node node)

Specified by:

nodeInitialized in interface BlockingStrategy

Parameters:

node - node

nodeDestroyed

public void nodeDestroyed(Node node)

Specified by:

nodeDestroyed in interface BlockingStrategy

Parameters:

node - node

modelFound

public void modelFound()

Specified by:

modelFound in interface BlockingStrategy

isExact

public boolean isExact()

Specified by:

isExact in interface BlockingStrategy

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 BlockingStrategy

Parameters:

workers - workers

dlClause - dlClause

variables - variables

valuesBuffer - valuesBuffer

coreVariables - coreVariables