org.semanticweb.HermiT.blocking
Class AnywhereValidatedBlocking

java.lang.Object
  extended by org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking
All Implemented Interfaces:
BlockingStrategy

public class AnywhereValidatedBlocking
extends java.lang.Object
implements BlockingStrategy


Nested Class Summary
protected static class AnywhereValidatedBlocking.ComputeCoreVariables
           
protected  class AnywhereValidatedBlocking.ViolationStatistic
           
 
Field Summary
protected  BlockingValidator m_additionalBlockingValidator
           
protected  org.semanticweb.HermiT.blocking.ValidatedBlockersCache m_currentBlockersCache
           
protected  DirectBlockingChecker m_directBlockingChecker
           
protected  ExtensionManager m_extensionManager
           
protected  Node m_firstChangedNode
           
protected  boolean m_hasInverses
           
protected  Node m_lastValidatedUnchangedNode
           
protected  BlockingValidator m_permanentBlockingValidator
           
protected  Tableau m_tableau
           
protected  boolean m_useSimpleCore
           
 
Constructor Summary
AnywhereValidatedBlocking(DirectBlockingChecker directBlockingChecker, boolean hasInverses, boolean useSimpleCore)
           
 
Method Summary
 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()
           
 void dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 void initialize(Tableau tableau)
           
protected  boolean isBlockValid(Node node)
           
 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)
           
protected  void updateAdditionalBlockingValidator()
           
protected  void updateNodeChange(Node node)
           
 void validateBlocks()
           
protected  void validationInfoChanged(Node node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_directBlockingChecker

protected final DirectBlockingChecker m_directBlockingChecker

m_currentBlockersCache

protected final org.semanticweb.HermiT.blocking.ValidatedBlockersCache m_currentBlockersCache

m_permanentBlockingValidator

protected BlockingValidator m_permanentBlockingValidator

m_additionalBlockingValidator

protected BlockingValidator m_additionalBlockingValidator

m_tableau

protected Tableau m_tableau

m_extensionManager

protected ExtensionManager m_extensionManager

m_firstChangedNode

protected Node m_firstChangedNode

m_lastValidatedUnchangedNode

protected Node m_lastValidatedUnchangedNode

m_useSimpleCore

protected boolean m_useSimpleCore

m_hasInverses

protected final boolean m_hasInverses
Constructor Detail

AnywhereValidatedBlocking

public AnywhereValidatedBlocking(DirectBlockingChecker directBlockingChecker,
                                 boolean hasInverses,
                                 boolean useSimpleCore)
Method Detail

initialize

public void initialize(Tableau tableau)
Specified by:
initialize in interface BlockingStrategy

additionalDLOntologySet

public void additionalDLOntologySet(DLOntology additionalDLOntology)
Specified by:
additionalDLOntologySet in interface BlockingStrategy

additionalDLOntologyCleared

public void additionalDLOntologyCleared()
Specified by:
additionalDLOntologyCleared in interface BlockingStrategy

updateAdditionalBlockingValidator

protected void updateAdditionalBlockingValidator()

clear

public void clear()
Specified by:
clear in interface BlockingStrategy

computeBlocking

public void computeBlocking(boolean finalChance)
Specified by:
computeBlocking in interface BlockingStrategy

computePreBlocking

public void computePreBlocking()

validateBlocks

public void validateBlocks()

isBlockValid

protected boolean isBlockValid(Node node)

isPermanentAssertion

public boolean isPermanentAssertion(Concept concept,
                                    Node node)
Specified by:
isPermanentAssertion in interface BlockingStrategy

isPermanentAssertion

public boolean isPermanentAssertion(DataRange range,
                                    Node node)
Specified by:
isPermanentAssertion in interface BlockingStrategy

validationInfoChanged

protected void validationInfoChanged(Node node)

assertionAdded

public void assertionAdded(Concept concept,
                           Node node,
                           boolean isCore)
Specified by:
assertionAdded in interface BlockingStrategy

assertionCoreSet

public void assertionCoreSet(Concept concept,
                             Node node)
Specified by:
assertionCoreSet in interface BlockingStrategy

assertionRemoved

public void assertionRemoved(Concept concept,
                             Node node,
                             boolean isCore)
Specified by:
assertionRemoved in interface BlockingStrategy

assertionAdded

public void assertionAdded(DataRange range,
                           Node node,
                           boolean isCore)
Specified by:
assertionAdded in interface BlockingStrategy

assertionCoreSet

public void assertionCoreSet(DataRange range,
                             Node node)
Specified by:
assertionCoreSet in interface BlockingStrategy

assertionRemoved

public void assertionRemoved(DataRange range,
                             Node node,
                             boolean isCore)
Specified by:
assertionRemoved in interface BlockingStrategy

assertionAdded

public void assertionAdded(AtomicRole atomicRole,
                           Node nodeFrom,
                           Node nodeTo,
                           boolean isCore)
Specified by:
assertionAdded in interface BlockingStrategy

assertionCoreSet

public void assertionCoreSet(AtomicRole atomicRole,
                             Node nodeFrom,
                             Node nodeTo)
Specified by:
assertionCoreSet in interface BlockingStrategy

assertionRemoved

public void assertionRemoved(AtomicRole atomicRole,
                             Node nodeFrom,
                             Node nodeTo,
                             boolean isCore)
Specified by:
assertionRemoved in interface BlockingStrategy

nodesMerged

public void nodesMerged(Node mergeFrom,
                        Node mergeInto)
Specified by:
nodesMerged in interface BlockingStrategy

nodesUnmerged

public void nodesUnmerged(Node mergeFrom,
                          Node mergeInto)
Specified by:
nodesUnmerged in interface BlockingStrategy

nodeStatusChanged

public void nodeStatusChanged(Node node)
Specified by:
nodeStatusChanged in interface BlockingStrategy

updateNodeChange

protected final void updateNodeChange(Node node)

nodeInitialized

public void nodeInitialized(Node node)
Specified by:
nodeInitialized in interface BlockingStrategy

nodeDestroyed

public void nodeDestroyed(Node node)
Specified by:
nodeDestroyed in interface BlockingStrategy

modelFound

public void modelFound()
Specified by:
modelFound in interface BlockingStrategy

isExact

public boolean isExact()
Specified by:
isExact in interface BlockingStrategy

dlClauseBodyCompiled

public void dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
                                 DLClause dlClause,
                                 java.util.List<Variable> variables,
                                 java.lang.Object[] valuesBuffer,
                                 boolean[] coreVariables)
Specified by:
dlClauseBodyCompiled in interface BlockingStrategy