org.semanticweb.HermiT.monitor

Class TableauMonitorFork

java.lang.Object

org.semanticweb.HermiT.monitor.TableauMonitorFork

All Implemented Interfaces:

Serializable, TableauMonitor

public class TableauMonitorFork
extends Object
implements TableauMonitor, Serializable

TableauMonitorFork.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TableauMonitorFork(TableauMonitor first, TableauMonitor second)

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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TableauMonitorFork

public TableauMonitorFork(TableauMonitor first,
                          TableauMonitor second)

Parameters:

first - first

second - second

Method Detail

setTableau

public void setTableau(Tableau tableau)

Specified by:

setTableau in interface TableauMonitor

Parameters:

tableau - tableau

isSatisfiableStarted

public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)

Specified by:

isSatisfiableStarted in interface TableauMonitor

Parameters:

reasoningTaskDescription - reasoningTaskDescription

isSatisfiableFinished

public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
                                  boolean result)

Specified by:

isSatisfiableFinished in interface TableauMonitor

Parameters:

reasoningTaskDescription - reasoningTaskDescription

result - result

tableauCleared

public void tableauCleared()

Description copied from interface: TableauMonitor

Tableau cleared.

Specified by:

tableauCleared in interface TableauMonitor

saturateStarted

public void saturateStarted()

Description copied from interface: TableauMonitor

Saturate started.

Specified by:

saturateStarted in interface TableauMonitor

saturateFinished

public void saturateFinished(boolean modelFound)

Specified by:

saturateFinished in interface TableauMonitor

Parameters:

modelFound - modelFound

iterationStarted

public void iterationStarted()

Description copied from interface: TableauMonitor

Iteration started.

Specified by:

iterationStarted in interface TableauMonitor

iterationFinished

public void iterationFinished()

Description copied from interface: TableauMonitor

Iteration finished.

Specified by:

iterationFinished in interface TableauMonitor

dlClauseMatchedStarted

public void dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
                                   int dlClauseIndex)

Specified by:

dlClauseMatchedStarted in interface TableauMonitor

Parameters:

dlClauseEvaluator - dlClauseEvaluator

dlClauseIndex - dlClauseIndex

dlClauseMatchedFinished

public void dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator,
                                    int dlClauseIndex)

Specified by:

dlClauseMatchedFinished in interface TableauMonitor

Parameters:

dlClauseEvaluator - dlClauseEvaluator

dlClauseIndex - dlClauseIndex

addFactStarted

public void addFactStarted(Object[] tuple,
                           boolean isCore)

Specified by:

addFactStarted in interface TableauMonitor

Parameters:

tuple - tuple

isCore - isCore

addFactFinished

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

Specified by:

addFactFinished in interface TableauMonitor

Parameters:

tuple - tuple

isCore - isCore

factAdded - factAdded

mergeStarted

public void mergeStarted(Node mergeFrom,
                         Node mergeInto)

Specified by:

mergeStarted in interface TableauMonitor

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

nodePruned

public void nodePruned(Node node)

Specified by:

nodePruned in interface TableauMonitor

Parameters:

node - node

mergeFactStarted

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

Specified by:

mergeFactStarted in interface TableauMonitor

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

sourceTuple - sourceTuple

targetTuple - targetTuple

mergeFactFinished

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

Specified by:

mergeFactFinished in interface TableauMonitor

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

sourceTuple - sourceTuple

targetTuple - targetTuple

mergeFinished

public void mergeFinished(Node mergeFrom,
                          Node mergeInto)

Specified by:

mergeFinished in interface TableauMonitor

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

clashDetectionStarted

public void clashDetectionStarted(Object[]... tuples)

Specified by:

clashDetectionStarted in interface TableauMonitor

Parameters:

tuples - tuples

clashDetectionFinished

public void clashDetectionFinished(Object[]... tuples)

Specified by:

clashDetectionFinished in interface TableauMonitor

Parameters:

tuples - tuples

clashDetected

public void clashDetected()

Description copied from interface: TableauMonitor

Clash detected.

Specified by:

clashDetected in interface TableauMonitor

backtrackToStarted

public void backtrackToStarted(BranchingPoint newCurrentBrancingPoint)

Specified by:

backtrackToStarted in interface TableauMonitor

Parameters:

newCurrentBrancingPoint - newCurrentBrancingPoint

tupleRemoved

public void tupleRemoved(Object[] tuple)

Specified by:

tupleRemoved in interface TableauMonitor

Parameters:

tuple - tuple

backtrackToFinished

public void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)

Specified by:

backtrackToFinished in interface TableauMonitor

Parameters:

newCurrentBrancingPoint - newCurrentBrancingPoint

groundDisjunctionDerived

public void groundDisjunctionDerived(GroundDisjunction groundDisjunction)

Specified by:

groundDisjunctionDerived in interface TableauMonitor

Parameters:

groundDisjunction - groundDisjunction

processGroundDisjunctionStarted

public void processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)

Specified by:

processGroundDisjunctionStarted in interface TableauMonitor

Parameters:

groundDisjunction - groundDisjunction

groundDisjunctionSatisfied

public void groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)

Specified by:

groundDisjunctionSatisfied in interface TableauMonitor

Parameters:

groundDisjunction - groundDisjunction

processGroundDisjunctionFinished

public void processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)

Specified by:

processGroundDisjunctionFinished in interface TableauMonitor

Parameters:

groundDisjunction - groundDisjunction

disjunctProcessingStarted

public void disjunctProcessingStarted(GroundDisjunction groundDisjunction,
                                      int disjunct)

Specified by:

disjunctProcessingStarted in interface TableauMonitor

Parameters:

groundDisjunction - groundDisjunction

disjunct - disjunct

disjunctProcessingFinished

public void disjunctProcessingFinished(GroundDisjunction groundDisjunction,
                                       int disjunct)

Specified by:

disjunctProcessingFinished in interface TableauMonitor

Parameters:

groundDisjunction - groundDisjunction

disjunct - disjunct

pushBranchingPointStarted

public void pushBranchingPointStarted(BranchingPoint branchingPoint)

Specified by:

pushBranchingPointStarted in interface TableauMonitor

Parameters:

branchingPoint - branchingPoint

pushBranchingPointFinished

public void pushBranchingPointFinished(BranchingPoint branchingPoint)

Specified by:

pushBranchingPointFinished in interface TableauMonitor

Parameters:

branchingPoint - branchingPoint

startNextBranchingPointStarted

public void startNextBranchingPointStarted(BranchingPoint branchingPoint)

Specified by:

startNextBranchingPointStarted in interface TableauMonitor

Parameters:

branchingPoint - branchingPoint

startNextBranchingPointFinished

public void startNextBranchingPointFinished(BranchingPoint branchingPoint)

Specified by:

startNextBranchingPointFinished in interface TableauMonitor

Parameters:

branchingPoint - branchingPoint

existentialExpansionStarted

public void existentialExpansionStarted(ExistentialConcept existentialConcept,
                                        Node forNode)

Specified by:

existentialExpansionStarted in interface TableauMonitor

Parameters:

existentialConcept - existentialConcept

forNode - forNode

existentialExpansionFinished

public void existentialExpansionFinished(ExistentialConcept existentialConcept,
                                         Node forNode)

Specified by:

existentialExpansionFinished in interface TableauMonitor

Parameters:

existentialConcept - existentialConcept

forNode - forNode

existentialSatisfied

public void existentialSatisfied(ExistentialConcept existentialConcept,
                                 Node forNode)

Specified by:

existentialSatisfied in interface TableauMonitor

Parameters:

existentialConcept - existentialConcept

forNode - forNode

nominalIntorductionStarted

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

Specified by:

nominalIntorductionStarted in interface TableauMonitor

Parameters:

rootNode - rootNode

treeNode - treeNode

annotatedEquality - annotatedEquality

argument1 - argument1

argument2 - argument2

nominalIntorductionFinished

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

Specified by:

nominalIntorductionFinished in interface TableauMonitor

Parameters:

rootNode - rootNode

treeNode - treeNode

annotatedEquality - annotatedEquality

argument1 - argument1

argument2 - argument2

descriptionGraphCheckingStarted

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

Specified by:

descriptionGraphCheckingStarted in interface TableauMonitor

Parameters:

graphIndex1 - graphIndex1

tupleIndex1 - tupleIndex1

position1 - position1

graphIndex2 - graphIndex2

tupleIndex2 - tupleIndex2

position2 - position2

descriptionGraphCheckingFinished

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

Specified by:

descriptionGraphCheckingFinished in interface TableauMonitor

Parameters:

graphIndex1 - graphIndex1

tupleIndex1 - tupleIndex1

position1 - position1

graphIndex2 - graphIndex2

tupleIndex2 - tupleIndex2

position2 - position2

nodeCreated

public void nodeCreated(Node node)

Specified by:

nodeCreated in interface TableauMonitor

Parameters:

node - node

nodeDestroyed

public void nodeDestroyed(Node node)

Specified by:

nodeDestroyed in interface TableauMonitor

Parameters:

node - node

unknownDatatypeRestrictionDetectionStarted

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

Specified by:

unknownDatatypeRestrictionDetectionStarted in interface TableauMonitor

Parameters:

dataRange1 - dataRange1

node1 - node1

dataRange2 - dataRange2

node2 - node2

unknownDatatypeRestrictionDetectionFinished

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

Specified by:

unknownDatatypeRestrictionDetectionFinished in interface TableauMonitor

Parameters:

dataRange1 - dataRange1

node1 - node1

dataRange2 - dataRange2

node2 - node2

datatypeCheckingStarted

public void datatypeCheckingStarted()

Description copied from interface: TableauMonitor

Datatype checking started.

Specified by:

datatypeCheckingStarted in interface TableauMonitor

datatypeCheckingFinished

public void datatypeCheckingFinished(boolean result)

Specified by:

datatypeCheckingFinished in interface TableauMonitor

Parameters:

result - result

datatypeConjunctionCheckingStarted

public void datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)

Specified by:

datatypeConjunctionCheckingStarted in interface TableauMonitor

Parameters:

conjunction - conjunction

datatypeConjunctionCheckingFinished

public void datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction,
                                                boolean result)

Specified by:

datatypeConjunctionCheckingFinished in interface TableauMonitor

Parameters:

conjunction - conjunction

result - result

blockingValidationStarted

public void blockingValidationStarted()

Description copied from interface: TableauMonitor

Blocking validation started.

Specified by:

blockingValidationStarted in interface TableauMonitor

blockingValidationFinished

public void blockingValidationFinished(int noInvalidlyBlocked)

Specified by:

blockingValidationFinished in interface TableauMonitor

Parameters:

noInvalidlyBlocked - noInvalidlyBlocked

possibleInstanceIsInstance

public void possibleInstanceIsInstance()

Description copied from interface: TableauMonitor

Possible instance is instance.

Specified by:

possibleInstanceIsInstance in interface TableauMonitor

possibleInstanceIsNotInstance

public void possibleInstanceIsNotInstance()

Description copied from interface: TableauMonitor

Possible instance is not instance.

Specified by:

possibleInstanceIsNotInstance in interface TableauMonitor