org.semanticweb.HermiT.datalog
Class DatalogEngine.NullExistentialExpansionStrategy
java.lang.Object
org.semanticweb.HermiT.datalog.DatalogEngine.NullExistentialExpansionStrategy
- All Implemented Interfaces:
- ExistentialExpansionStrategy
- Enclosing class:
- DatalogEngine
protected static class DatalogEngine.NullExistentialExpansionStrategy
- extends java.lang.Object
- implements ExistentialExpansionStrategy
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 |
INSTANCE
public static final ExistentialExpansionStrategy INSTANCE
DatalogEngine.NullExistentialExpansionStrategy
protected DatalogEngine.NullExistentialExpansionStrategy()
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