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)
           
 

Method Detail

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)