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