org.semanticweb.HermiT.existentials
Interface ExistentialExpansionStrategy
- All Known Implementing Classes:
- AbstractExpansionStrategy, CreationOrderStrategy, IndividualReuseStrategy
public interface ExistentialExpansionStrategy
Strategy objects are responsible for selecting which existentials should be
expanded first, as well as how the new nodes are introduced. The latter is
usually delegated to tableau.ExistentialExpansionManager, but strategies
are free to provide their own node-introduction implementations
(but be careful---it's tough to get right!)
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 dataRange,
Node node,
boolean isCore)
|
void |
assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
assertionCoreSet(Concept concept,
Node node)
|
void |
assertionCoreSet(DataRange dataRange,
Node node)
|
void |
assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
assertionRemoved(DataRange dataRange,
Node node,
boolean isCore)
|
void |
backtrack()
|
void |
branchingPointPushed()
|
void |
clear()
|
void |
dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
boolean |
expandExistentials(boolean finalChance)
|
void |
initialize(Tableau tableau)
|
boolean |
isDeterministic()
|
boolean |
isExact()
|
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()
expandExistentials
boolean expandExistentials(boolean finalChance)
assertionAdded
void assertionAdded(Concept concept,
Node node,
boolean isCore)
assertionAdded
void assertionAdded(DataRange dataRange,
Node node,
boolean isCore)
assertionCoreSet
void assertionCoreSet(Concept concept,
Node node)
assertionCoreSet
void assertionCoreSet(DataRange dataRange,
Node node)
assertionRemoved
void assertionRemoved(Concept concept,
Node node,
boolean isCore)
assertionRemoved
void assertionRemoved(DataRange dataRange,
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)
branchingPointPushed
void branchingPointPushed()
backtrack
void backtrack()
modelFound
void modelFound()
isDeterministic
boolean isDeterministic()
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)