org.semanticweb.HermiT.datalog
Class DatalogEngine.NullExistentialExpansionStrategy

java.lang.Object
  extended by org.semanticweb.HermiT.datalog.DatalogEngine.NullExistentialExpansionStrategy
All Implemented Interfaces:
ExistentialExpansionStrategy
Enclosing class:
DatalogEngine

protected static class DatalogEngine.NullExistentialExpansionStrategy
extends java.lang.Object
implements ExistentialExpansionStrategy


Field Summary
static ExistentialExpansionStrategy INSTANCE
           
 
Constructor Summary
protected DatalogEngine.NullExistentialExpansionStrategy()
           
 
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)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

public static final ExistentialExpansionStrategy INSTANCE
Constructor Detail

DatalogEngine.NullExistentialExpansionStrategy

protected DatalogEngine.NullExistentialExpansionStrategy()
Method Detail

initialize

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

additionalDLOntologySet

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

additionalDLOntologyCleared

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

clear

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

expandExistentials

public boolean expandExistentials(boolean finalChance)
Specified by:
expandExistentials in interface ExistentialExpansionStrategy

assertionAdded

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

assertionAdded

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

assertionCoreSet

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

assertionCoreSet

public void assertionCoreSet(DataRange dataRange,
                             Node node)
Specified by:
assertionCoreSet in interface ExistentialExpansionStrategy

assertionRemoved

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

assertionRemoved

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

assertionAdded

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

assertionCoreSet

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

assertionRemoved

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

nodesMerged

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

nodesUnmerged

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

nodeStatusChanged

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

nodeInitialized

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

nodeDestroyed

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

branchingPointPushed

public void branchingPointPushed()
Specified by:
branchingPointPushed in interface ExistentialExpansionStrategy

backtrack

public void backtrack()
Specified by:
backtrack in interface ExistentialExpansionStrategy

modelFound

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

isDeterministic

public boolean isDeterministic()
Specified by:
isDeterministic in interface ExistentialExpansionStrategy

isExact

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

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 ExistentialExpansionStrategy