org.semanticweb.HermiT.monitor

Interface TableauMonitor

All Known Implementing Classes:

CountingMonitor, Debugger, DerivationHistory, TableauMonitorAdapter, TableauMonitorFork, TableauMonitorForwarder, Timer, TimerWithPause

public interface TableauMonitor

TableauMonitor.

Method Summary

Modifier and Type	Method and Description
void	addFactFinished(Object[] tuple, boolean isCore, boolean factAdded)
void	addFactStarted(Object[] tuple, boolean isCore)
void	backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
void	blockingValidationFinished(int noInvalidlyBlocked)
void	blockingValidationStarted() Blocking validation started.
void	clashDetected() Clash detected.
void	clashDetectionFinished(Object[]... tuples)
void	clashDetectionStarted(Object[]... tuples)
void	datatypeCheckingFinished(boolean result)
void	datatypeCheckingStarted() Datatype checking started.
void	datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction, boolean result)
void	datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
void	descriptionGraphCheckingFinished(int graphIndex1, int tupleIndex1, int position1, int graphIndex2, int tupleIndex2, int position2)
void	descriptionGraphCheckingStarted(int graphIndex1, int tupleIndex1, int position1, int graphIndex2, int tupleIndex2, int position2)
void	disjunctProcessingFinished(GroundDisjunction groundDisjunction, int disjunct)
void	disjunctProcessingStarted(GroundDisjunction groundDisjunction, int disjunct)
void	dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
void	existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
void	existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)
void	groundDisjunctionDerived(GroundDisjunction groundDisjunction)
void	groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
void	isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	iterationFinished() Iteration finished.
void	iterationStarted() Iteration started.
void	mergeFactFinished(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)
void	mergeFactStarted(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)
void	mergeFinished(Node mergeFrom, Node mergeInto)
void	mergeStarted(Node mergeFrom, Node mergeInto)
void	nodeCreated(Node node)
void	nodeDestroyed(Node node)
void	nodePruned(Node node)
void	nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
void	nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
void	possibleInstanceIsInstance() Possible instance is instance.
void	possibleInstanceIsNotInstance() Possible instance is not instance.
void	processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
void	processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
void	pushBranchingPointFinished(BranchingPoint branchingPoint)
void	pushBranchingPointStarted(BranchingPoint branchingPoint)
void	saturateFinished(boolean modelFound)
void	saturateStarted() Saturate started.
void	setTableau(Tableau tableau)
void	startNextBranchingPointFinished(BranchingPoint branchingPoint)
void	startNextBranchingPointStarted(BranchingPoint branchingPoint)
void	tableauCleared() Tableau cleared.
void	tupleRemoved(Object[] tuple)
void	unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)

Method Detail

setTableau

void setTableau(Tableau tableau)

Parameters:

tableau - tableau

isSatisfiableStarted

void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)

Parameters:

reasoningTaskDescription - reasoningTaskDescription

isSatisfiableFinished

void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
                           boolean result)

Parameters:

reasoningTaskDescription - reasoningTaskDescription

result - result

tableauCleared

void tableauCleared()

Tableau cleared.

saturateStarted

void saturateStarted()

Saturate started.

saturateFinished

void saturateFinished(boolean modelFound)

Parameters:

modelFound - modelFound

iterationStarted

void iterationStarted()

Iteration started.

iterationFinished

void iterationFinished()

Iteration finished.

dlClauseMatchedStarted

void dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
                            int dlClauseIndex)

Parameters:

dlClauseEvaluator - dlClauseEvaluator

dlClauseIndex - dlClauseIndex

dlClauseMatchedFinished

void dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator,
                             int dlClauseIndex)

Parameters:

dlClauseEvaluator - dlClauseEvaluator

dlClauseIndex - dlClauseIndex

addFactStarted

void addFactStarted(Object[] tuple,
                    boolean isCore)

Parameters:

tuple - tuple

isCore - isCore

addFactFinished

void addFactFinished(Object[] tuple,
                     boolean isCore,
                     boolean factAdded)

Parameters:

tuple - tuple

isCore - isCore

factAdded - factAdded

mergeStarted

void mergeStarted(Node mergeFrom,
                  Node mergeInto)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodePruned

void nodePruned(Node node)

Parameters:

node - node

mergeFactStarted

void mergeFactStarted(Node mergeFrom,
                      Node mergeInto,
                      Object[] sourceTuple,
                      Object[] targetTuple)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

sourceTuple - sourceTuple

targetTuple - targetTuple

mergeFactFinished

void mergeFactFinished(Node mergeFrom,
                       Node mergeInto,
                       Object[] sourceTuple,
                       Object[] targetTuple)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

sourceTuple - sourceTuple

targetTuple - targetTuple

mergeFinished

void mergeFinished(Node mergeFrom,
                   Node mergeInto)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

clashDetectionStarted

void clashDetectionStarted(Object[]... tuples)

Parameters:

tuples - tuples

clashDetectionFinished

void clashDetectionFinished(Object[]... tuples)

Parameters:

tuples - tuples

clashDetected

void clashDetected()

Clash detected.

backtrackToStarted

void backtrackToStarted(BranchingPoint newCurrentBrancingPoint)

Parameters:

newCurrentBrancingPoint - newCurrentBrancingPoint

tupleRemoved

void tupleRemoved(Object[] tuple)

Parameters:

tuple - tuple

backtrackToFinished

void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)

Parameters:

newCurrentBrancingPoint - newCurrentBrancingPoint

groundDisjunctionDerived

void groundDisjunctionDerived(GroundDisjunction groundDisjunction)

Parameters:

groundDisjunction - groundDisjunction

processGroundDisjunctionStarted

void processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)

Parameters:

groundDisjunction - groundDisjunction

groundDisjunctionSatisfied

void groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)

Parameters:

groundDisjunction - groundDisjunction

processGroundDisjunctionFinished

void processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)

Parameters:

groundDisjunction - groundDisjunction

disjunctProcessingStarted

void disjunctProcessingStarted(GroundDisjunction groundDisjunction,
                               int disjunct)

Parameters:

groundDisjunction - groundDisjunction

disjunct - disjunct

disjunctProcessingFinished

void disjunctProcessingFinished(GroundDisjunction groundDisjunction,
                                int disjunct)

Parameters:

groundDisjunction - groundDisjunction

disjunct - disjunct

pushBranchingPointStarted

void pushBranchingPointStarted(BranchingPoint branchingPoint)

Parameters:

branchingPoint - branchingPoint

pushBranchingPointFinished

void pushBranchingPointFinished(BranchingPoint branchingPoint)

Parameters:

branchingPoint - branchingPoint

startNextBranchingPointStarted

void startNextBranchingPointStarted(BranchingPoint branchingPoint)

Parameters:

branchingPoint - branchingPoint

startNextBranchingPointFinished

void startNextBranchingPointFinished(BranchingPoint branchingPoint)

Parameters:

branchingPoint - branchingPoint

existentialExpansionStarted

void existentialExpansionStarted(ExistentialConcept existentialConcept,
                                 Node forNode)

Parameters:

existentialConcept - existentialConcept

forNode - forNode

existentialExpansionFinished

void existentialExpansionFinished(ExistentialConcept existentialConcept,
                                  Node forNode)

Parameters:

existentialConcept - existentialConcept

forNode - forNode

existentialSatisfied

void existentialSatisfied(ExistentialConcept existentialConcept,
                          Node forNode)

Parameters:

existentialConcept - existentialConcept

forNode - forNode

nominalIntorductionStarted

void nominalIntorductionStarted(Node rootNode,
                                Node treeNode,
                                AnnotatedEquality annotatedEquality,
                                Node argument1,
                                Node argument2)

Parameters:

rootNode - rootNode

treeNode - treeNode

annotatedEquality - annotatedEquality

argument1 - argument1

argument2 - argument2

nominalIntorductionFinished

void nominalIntorductionFinished(Node rootNode,
                                 Node treeNode,
                                 AnnotatedEquality annotatedEquality,
                                 Node argument1,
                                 Node argument2)

Parameters:

rootNode - rootNode

treeNode - treeNode

annotatedEquality - annotatedEquality

argument1 - argument1

argument2 - argument2

descriptionGraphCheckingStarted

void descriptionGraphCheckingStarted(int graphIndex1,
                                     int tupleIndex1,
                                     int position1,
                                     int graphIndex2,
                                     int tupleIndex2,
                                     int position2)

Parameters:

graphIndex1 - graphIndex1

tupleIndex1 - tupleIndex1

position1 - position1

graphIndex2 - graphIndex2

tupleIndex2 - tupleIndex2

position2 - position2

descriptionGraphCheckingFinished

void descriptionGraphCheckingFinished(int graphIndex1,
                                      int tupleIndex1,
                                      int position1,
                                      int graphIndex2,
                                      int tupleIndex2,
                                      int position2)

Parameters:

graphIndex1 - graphIndex1

tupleIndex1 - tupleIndex1

position1 - position1

graphIndex2 - graphIndex2

tupleIndex2 - tupleIndex2

position2 - position2

nodeCreated

void nodeCreated(Node node)

Parameters:

node - node

nodeDestroyed

void nodeDestroyed(Node node)

Parameters:

node - node

unknownDatatypeRestrictionDetectionStarted

void unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
                                                Node node1,
                                                DataRange dataRange2,
                                                Node node2)

Parameters:

dataRange1 - dataRange1

node1 - node1

dataRange2 - dataRange2

node2 - node2

unknownDatatypeRestrictionDetectionFinished

void unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
                                                 Node node1,
                                                 DataRange dataRange2,
                                                 Node node2)

Parameters:

dataRange1 - dataRange1

node1 - node1

dataRange2 - dataRange2

node2 - node2

datatypeCheckingStarted

void datatypeCheckingStarted()

Datatype checking started.

datatypeCheckingFinished

void datatypeCheckingFinished(boolean result)

Parameters:

result - result

datatypeConjunctionCheckingStarted

void datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)

Parameters:

conjunction - conjunction

datatypeConjunctionCheckingFinished

void datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction,
                                         boolean result)

Parameters:

conjunction - conjunction

result - result

blockingValidationStarted

void blockingValidationStarted()

Blocking validation started.

blockingValidationFinished

void blockingValidationFinished(int noInvalidlyBlocked)

Parameters:

noInvalidlyBlocked - noInvalidlyBlocked

possibleInstanceIsInstance

void possibleInstanceIsInstance()

Possible instance is instance.

possibleInstanceIsNotInstance

void possibleInstanceIsNotInstance()

Possible instance is not instance.