org.semanticweb.HermiT.blocking
Interface BlockingStrategy

All Known Implementing Classes:
AncestorBlocking, AnywhereBlocking, AnywhereValidatedBlocking

public interface BlockingStrategy


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 dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.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)

additionalDLOntologySet

void additionalDLOntologySet(DLOntology additionalDLOntology)

additionalDLOntologyCleared

void additionalDLOntologyCleared()

clear

void clear()

computeBlocking

void computeBlocking(boolean finalChance)

isPermanentAssertion

boolean isPermanentAssertion(Concept concept,
                             Node node)

isPermanentAssertion

boolean isPermanentAssertion(DataRange range,
                             Node node)

assertionAdded

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

assertionCoreSet

void assertionCoreSet(Concept concept,
                      Node node)

assertionRemoved

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

assertionAdded

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

assertionCoreSet

void assertionCoreSet(DataRange range,
                      Node node)

assertionRemoved

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

assertionAdded

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

assertionCoreSet

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

assertionRemoved

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

nodesMerged

void nodesMerged(Node mergeFrom,
                 Node mergeInto)

nodesUnmerged

void nodesUnmerged(Node mergeFrom,
                   Node mergeInto)

nodeStatusChanged

void nodeStatusChanged(Node node)

nodeInitialized

void nodeInitialized(Node node)

nodeDestroyed

void nodeDestroyed(Node node)

modelFound

void modelFound()

isExact

boolean isExact()

dlClauseBodyCompiled

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