org.semanticweb.elk.reasoner.stages
Class IncrementalOverdeletionPruningStage

java.lang.Object
  org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

All Implemented Interfaces:

ReasonerStage

public class IncrementalOverdeletionPruningStage
extends Object

Prunes the set of deleted conclusions by re-deriving those having alternative derivations (name taken from the original paper on the DRed algorithm). Uses a ContextCompletionFactory which "fills gaps" in the set of conclusions for each context by deriving the missing conclusions.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

IncrementalOverdeletionPruningStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)

Method Summary

void	clearInterrupt() Clears the interrupt status of this executor
void	execute() Performs the execution of this stage.
String	getName()
Iterable<? extends ReasonerStage>	getPreStages()
protected SaturationStatistics	getRuleAndConclusionStatistics()
boolean	isCompleted()
boolean	isInterrupted()
protected void	markAllContextsAsSaturated()
boolean	postExecute() Clear the parameters of the computation for this stage; this is the last thing to be done when the stage is executed *
boolean	preExecute() Initialize the parameters of the computation for this stage; this is the first thing to be done before stage is executed
void	printInfo() Prints detailed information about the (progress) of this stage.
boolean	spuriousInterrupt() Check if the reasoner was interrupted and clears the interrupt status

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalOverdeletionPruningStage

public IncrementalOverdeletionPruningStage(AbstractReasonerState reasoner,
                                           org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)

Method Detail

getName

public String getName()

Returns:

a string identifier of this stage

printInfo

public void printInfo()

Description copied from interface: ReasonerStage

Prints detailed information about the (progress) of this stage. This function can be used to print statistics after this stage is executed or interrupted.

preExecute

public boolean preExecute()

Initialize the parameters of the computation for this stage; this is the first thing to be done before stage is executed

Specified by:

preExecute in interface ReasonerStage

Returns:

true if the operation is successful

postExecute

public boolean postExecute()

Clear the parameters of the computation for this stage; this is the last thing to be done when the stage is executed *

Specified by:

postExecute in interface ReasonerStage

Returns:

true if the operation is successful

isCompleted

public boolean isCompleted()

Specified by:

isCompleted in interface ReasonerStage

Returns:

true if the results for this stage have been already computed; this does not necessarily mean that this stage was executed: the results of the computation could have been computed by other stages

getPreStages

public Iterable<? extends ReasonerStage> getPreStages()

Specified by:

getPreStages in interface ReasonerStage

Returns:

the list of stages that are required to be executed before executing this stage; the order of the execution does not matter

isInterrupted

public boolean isInterrupted()

Specified by:

isInterrupted in interface ReasonerStage

Returns:

true if this executor was interrupted

clearInterrupt

public void clearInterrupt()

Description copied from interface: ReasonerStage

Clears the interrupt status of this executor

Specified by:

clearInterrupt in interface ReasonerStage

spuriousInterrupt

public boolean spuriousInterrupt()
                          throws ElkInterruptedException

Check if the reasoner was interrupted and clears the interrupt status

Returns:

true if the current thread was interrupted but the reasoner was not interrupted (e.g., spurious interrupt)

Throws:

ElkInterruptedException - if the reasoner was interrupted

execute

public void execute()
             throws ElkException

Description copied from interface: ReasonerStage

Performs the execution of this stage.

Specified by:

execute in interface ReasonerStage

Throws:

ElkException - if execution was not successful

markAllContextsAsSaturated

protected void markAllContextsAsSaturated()

getRuleAndConclusionStatistics

protected SaturationStatistics getRuleAndConclusionStatistics()