org.semanticweb.elk.reasoner.stages

Class IncrementalClassTaxonomyComputationStage

java.lang.Object

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

org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

All Implemented Interfaces:

ReasonerStage, Interrupter

public class IncrementalClassTaxonomyComputationStage
extends SimpleInterrupter

Incrementally updates the class taxonomy by creating nodes for named classes whose contexts have been either created or modified. The taxonomy is expected to be previously cleaned.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

Fields

Modifier and Type	Field and Description
protected ClassTaxonomyComputation	computation_

Constructor Summary

Constructors

Constructor and Description
IncrementalClassTaxonomyComputationStage(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.
void	executeStage() Execute the stage with initialized parameters
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

Field Detail

computation_

protected ClassTaxonomyComputation computation_

Constructor Detail

IncrementalClassTaxonomyComputationStage

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

Method Detail

getName

public String getName()

Returns:

a string identifier of this stage

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

executeStage

public void executeStage()
                  throws ElkInterruptedException

Execute the stage with initialized parameters

Throws:

ElkInterruptedException

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

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.

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()