org.semanticweb.elk.reasoner.stages

Class AxiomLoadingStage

java.lang.Object

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

org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

All Implemented Interfaces:

ReasonerStage, Interrupter

public class AxiomLoadingStage
extends SimpleInterrupter

A ReasonerStage during which the input ontology is loaded into the reasoner.

Author:

"Yevgeny Kazakov"

Constructor Summary

Constructors

Constructor and Description
AxiomLoadingStage(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

Constructor Detail

AxiomLoadingStage

public AxiomLoadingStage(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 ElkException

Execute the stage with initialized parameters

Throws:

ElkException

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

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

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