org.semanticweb.elk.reasoner.stages

Class IncrementalOverdeletionPruningStage

java.lang.Object

org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

All Implemented Interfaces:

ReasonerStage, Interrupter

public class IncrementalOverdeletionPruningStage
extends SimpleInterrupter

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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
boolean	dispose() Free resources occupied by the reasoning stage.
void	execute() Performs the execution of this stage.
String	getName()
Iterable<? extends ReasonerStage>	getPreStages()
protected SaturationStatistics	getRuleAndConclusionStatistics()
boolean	isCompleted()
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.
void	setInterrupt(boolean flag)
protected void	setInterrupt(Interrupter interrupter, boolean flag)

Methods inherited from class org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

isInterrupted

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.elk.util.concurrent.computation.Interrupter

isInterrupted

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

dispose

public boolean dispose()

Description copied from interface: ReasonerStage

Free resources occupied by the reasoning stage. After this, in order to execute the stage one has to call ReasonerStage.preExecute()

Specified by:

dispose in interface ReasonerStage

Returns:

true if the operation is successful

setInterrupt

public void setInterrupt(boolean flag)

Specified by:

setInterrupt in interface Interrupter

Overrides:

setInterrupt in class SimpleInterrupter

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

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

setInterrupt

protected void setInterrupt(Interrupter interrupter,
                boolean flag)

markAllContextsAsSaturated

protected void markAllContextsAsSaturated()

getRuleAndConclusionStatistics

protected SaturationStatistics getRuleAndConclusionStatistics()