org.semanticweb.HermiT.debugger

Class DerivationHistory

java.lang.Object

org.semanticweb.HermiT.monitor.TableauMonitorAdapter

org.semanticweb.HermiT.debugger.DerivationHistory

All Implemented Interfaces:

Serializable, TableauMonitor

public class DerivationHistory
extends TableauMonitorAdapter

DerivationHistory.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DerivationHistory.Atom
static class	DerivationHistory.BaseFact
static class	DerivationHistory.ClashDetection
static class	DerivationHistory.DatatypeChecking
static class	DerivationHistory.Derivation
static class	DerivationHistory.DisjunctApplication
static class	DerivationHistory.Disjunction
static class	DerivationHistory.DLClauseApplication
static class	DerivationHistory.ExistentialExpansion
static interface	DerivationHistory.Fact Fact
static class	DerivationHistory.GraphChecking
static class	DerivationHistory.Merging
static class	DerivationHistory.UnknownDatatypeRestrictionDetection

Constructor Summary

Constructors

Constructor and Description
DerivationHistory()

Method Summary

Modifier and Type	Method and Description
void	addFactFinished(Object[] tuple, boolean isCore, boolean factAdded)
void	backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	clashDetected() Clash detected.
void	clashDetectionFinished(Object[]... tuples)
void	clashDetectionStarted(Object[]... tuples)
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	dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
void	existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
DerivationHistory.Atom	getAtom(Object[] tuple)
DerivationHistory.Disjunction	getDisjunction(GroundDisjunction groundDisjunction)
void	groundDisjunctionDerived(GroundDisjunction groundDisjunction)
void	mergeFactFinished(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)
void	mergeFactStarted(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)
void	mergeFinished(Node nodeFrom, Node nodeInto)
void	mergeStarted(Node nodeFrom, Node nodeInto)
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 org.semanticweb.HermiT.monitor.TableauMonitorAdapter

addFactStarted, backtrackToStarted, blockingValidationFinished, blockingValidationStarted, datatypeCheckingFinished, datatypeCheckingStarted, dlClauseMatchedFinished, existentialSatisfied, groundDisjunctionSatisfied, isSatisfiableFinished, isSatisfiableStarted, iterationFinished, iterationStarted, nodeCreated, nodeDestroyed, nodePruned, nominalIntorductionFinished, nominalIntorductionStarted, possibleInstanceIsInstance, possibleInstanceIsNotInstance, processGroundDisjunctionFinished, processGroundDisjunctionStarted, pushBranchingPointFinished, pushBranchingPointStarted, saturateFinished, saturateStarted, setTableau, startNextBranchingPointFinished, startNextBranchingPointStarted

Methods inherited from class java.lang.Object

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

Constructor Detail

DerivationHistory

public DerivationHistory()

Method Detail

tableauCleared

public void tableauCleared()

Description copied from interface: TableauMonitor

Tableau cleared.

Specified by:

tableauCleared in interface TableauMonitor

Overrides:

tableauCleared in class TableauMonitorAdapter

dlClauseMatchedStarted

public void dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator,
                                   int dlClauseIndex)

Specified by:

dlClauseMatchedStarted in interface TableauMonitor

Overrides:

dlClauseMatchedStarted in class TableauMonitorAdapter

Parameters:

dlClauseEvaluator - dlClauseEvaluator

dlClauseIndex - dlClauseIndex

addFactFinished

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

Specified by:

addFactFinished in interface TableauMonitor

Overrides:

addFactFinished in class TableauMonitorAdapter

Parameters:

tuple - tuple

isCore - isCore

factAdded - factAdded

mergeStarted

public void mergeStarted(Node nodeFrom,
                         Node nodeInto)

Specified by:

mergeStarted in interface TableauMonitor

Overrides:

mergeStarted in class TableauMonitorAdapter

Parameters:

nodeFrom - mergeFrom

nodeInto - mergeInto

mergeFactStarted

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

Specified by:

mergeFactStarted in interface TableauMonitor

Overrides:

mergeFactStarted in class TableauMonitorAdapter

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

Overrides:

mergeFactFinished in class TableauMonitorAdapter

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

sourceTuple - sourceTuple

targetTuple - targetTuple

mergeFinished

public void mergeFinished(Node nodeFrom,
                          Node nodeInto)

Specified by:

mergeFinished in interface TableauMonitor

Overrides:

mergeFinished in class TableauMonitorAdapter

Parameters:

nodeFrom - mergeFrom

nodeInto - mergeInto

clashDetectionStarted

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

Specified by:

clashDetectionStarted in interface TableauMonitor

Overrides:

clashDetectionStarted in class TableauMonitorAdapter

Parameters:

tuples - tuples

clashDetectionFinished

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

Specified by:

clashDetectionFinished in interface TableauMonitor

Overrides:

clashDetectionFinished in class TableauMonitorAdapter

Parameters:

tuples - tuples

clashDetected

public void clashDetected()

Description copied from interface: TableauMonitor

Clash detected.

Specified by:

clashDetected in interface TableauMonitor

Overrides:

clashDetected in class TableauMonitorAdapter

tupleRemoved

public void tupleRemoved(Object[] tuple)

Specified by:

tupleRemoved in interface TableauMonitor

Overrides:

tupleRemoved in class TableauMonitorAdapter

Parameters:

tuple - tuple

backtrackToFinished

public void backtrackToFinished(BranchingPoint newCurrentBrancingPoint)

Specified by:

backtrackToFinished in interface TableauMonitor

Overrides:

backtrackToFinished in class TableauMonitorAdapter

Parameters:

newCurrentBrancingPoint - newCurrentBrancingPoint

groundDisjunctionDerived

public void groundDisjunctionDerived(GroundDisjunction groundDisjunction)

Specified by:

groundDisjunctionDerived in interface TableauMonitor

Overrides:

groundDisjunctionDerived in class TableauMonitorAdapter

Parameters:

groundDisjunction - groundDisjunction

disjunctProcessingStarted

public void disjunctProcessingStarted(GroundDisjunction groundDisjunction,
                                      int disjunct)

Specified by:

disjunctProcessingStarted in interface TableauMonitor

Overrides:

disjunctProcessingStarted in class TableauMonitorAdapter

Parameters:

groundDisjunction - groundDisjunction

disjunct - disjunct

disjunctProcessingFinished

public void disjunctProcessingFinished(GroundDisjunction groundDisjunction,
                                       int disjunct)

Specified by:

disjunctProcessingFinished in interface TableauMonitor

Overrides:

disjunctProcessingFinished in class TableauMonitorAdapter

Parameters:

groundDisjunction - groundDisjunction

disjunct - disjunct

existentialExpansionStarted

public void existentialExpansionStarted(ExistentialConcept existentialConcept,
                                        Node forNode)

Specified by:

existentialExpansionStarted in interface TableauMonitor

Overrides:

existentialExpansionStarted in class TableauMonitorAdapter

Parameters:

existentialConcept - existentialConcept

forNode - forNode

existentialExpansionFinished

public void existentialExpansionFinished(ExistentialConcept existentialConcept,
                                         Node forNode)

Specified by:

existentialExpansionFinished in interface TableauMonitor

Overrides:

existentialExpansionFinished in class TableauMonitorAdapter

Parameters:

existentialConcept - existentialConcept

forNode - forNode

descriptionGraphCheckingStarted

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

Specified by:

descriptionGraphCheckingStarted in interface TableauMonitor

Overrides:

descriptionGraphCheckingStarted in class TableauMonitorAdapter

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

Overrides:

descriptionGraphCheckingFinished in class TableauMonitorAdapter

Parameters:

graphIndex1 - graphIndex1

tupleIndex1 - tupleIndex1

position1 - position1

graphIndex2 - graphIndex2

tupleIndex2 - tupleIndex2

position2 - position2

unknownDatatypeRestrictionDetectionStarted

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

Specified by:

unknownDatatypeRestrictionDetectionStarted in interface TableauMonitor

Overrides:

unknownDatatypeRestrictionDetectionStarted in class TableauMonitorAdapter

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

Overrides:

unknownDatatypeRestrictionDetectionFinished in class TableauMonitorAdapter

Parameters:

dataRange1 - dataRange1

node1 - node1

dataRange2 - dataRange2

node2 - node2

datatypeConjunctionCheckingStarted

public void datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)

Specified by:

datatypeConjunctionCheckingStarted in interface TableauMonitor

Overrides:

datatypeConjunctionCheckingStarted in class TableauMonitorAdapter

Parameters:

conjunction - conjunction

datatypeConjunctionCheckingFinished

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

Specified by:

datatypeConjunctionCheckingFinished in interface TableauMonitor

Overrides:

datatypeConjunctionCheckingFinished in class TableauMonitorAdapter

Parameters:

conjunction - conjunction

result - result

getAtom

public DerivationHistory.Atom getAtom(Object[] tuple)

Parameters:

tuple - tuple

Returns:

atom

getDisjunction

public DerivationHistory.Disjunction getDisjunction(GroundDisjunction groundDisjunction)

Parameters:

groundDisjunction - groundDisjunction

Returns:

disjunction