org.semanticweb.elk.reasoner.saturation.rules

Class RuleApplicationFactory.BaseEngine

java.lang.Object

org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

All Implemented Interfaces:

RuleEngine, InputProcessor<IndexedClassExpression>

Direct Known Subclasses:

RuleApplicationFactory.DefaultEngine, RuleDeapplicationFactory.DeapplicationEngine

Enclosing class:

RuleApplicationFactory

public abstract class RuleApplicationFactory.BaseEngine
extends Object
implements InputProcessor<IndexedClassExpression>, RuleEngine

This engine has all the functionality for applying rules but needs to be extended if new contexts may need to be created

Field Summary

Fields

Modifier and Type	Field and Description
protected ContextStatistics	localContextStatistics
protected SaturationStatistics	localStatistics Local SaturationStatistics created for every worker

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RuleApplicationFactory.BaseEngine(SaturationStatistics localStatistics)

Method Summary

Methods

Modifier and Type	Method and Description
void	finish()
protected ConclusionVisitor<Boolean>	getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter) Returns the base ConclusionVisitor that performs processing of Conclusions within a Context.
protected ConclusionVisitor<?>	getConclusionProcessor(BasicSaturationStateWriter saturationStateWriter) Returns the final ConclusionVisitor that is used by this RuleApplicationFactory.DefaultEngine for processing Conclusions within Contexts
protected abstract DecompositionRuleApplicationVisitor	getDecompositionRuleApplicationVisitor()
protected abstract BasicSaturationStateWriter	getSaturationStateWriter()
protected ConclusionVisitor<Boolean>	getUsedConclusionsCountingVisitor(ConclusionVisitor<Boolean> ruleProcessor) Filters the ConclusionVisitor that applies inference rules to Conclusions by wrapping, if necessary, with the code producing statistics
void	process()
protected void	process(Context context) Process all scheduled items in the given context

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.InputProcessor

submit

Field Detail

localStatistics

protected final SaturationStatistics localStatistics

Local SaturationStatistics created for every worker

localContextStatistics

protected final ContextStatistics localContextStatistics

Constructor Detail

RuleApplicationFactory.BaseEngine

protected RuleApplicationFactory.BaseEngine(SaturationStatistics localStatistics)

Method Detail

process

public void process()

Specified by:

process in interface InputProcessor<IndexedClassExpression>

finish

public void finish()

Specified by:

finish in interface InputProcessor<IndexedClassExpression>

process

protected void process(Context context)

Process all scheduled items in the given context

Parameters:

context - the context in which to process the scheduled items

getUsedConclusionsCountingVisitor

protected ConclusionVisitor<Boolean> getUsedConclusionsCountingVisitor(ConclusionVisitor<Boolean> ruleProcessor)

Filters the ConclusionVisitor that applies inference rules to Conclusions by wrapping, if necessary, with the code producing statistics

Parameters:

ruleProcessor - the ConclusionVisitor to be wrapped

Returns:

the input ConclusionVisitor possibly wrapped with some code for producing statistics

getBaseConclusionProcessor

protected ConclusionVisitor<Boolean> getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)

Returns the base ConclusionVisitor that performs processing of Conclusions within a Context. This can be further wrapped in some other code.

Parameters:

saturationStateWriter - the SaturationStateImpl.AbstractWriter using which one can produce new Conclusions in Context s

Returns:

the base ConclusionVisitor that performs processing of Conclusions within a Context

getConclusionProcessor

protected ConclusionVisitor<?> getConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)

Returns the final ConclusionVisitor that is used by this RuleApplicationFactory.DefaultEngine for processing Conclusions within Contexts

Parameters:

saturationStateWriter - the SaturationStateImpl.AbstractWriter using which one can produce new Conclusions in Context s

Returns:

the final ConclusionVisitor that is used by this RuleApplicationFactory.DefaultEngine for processing Conclusions within Contexts

getDecompositionRuleApplicationVisitor

protected abstract DecompositionRuleApplicationVisitor getDecompositionRuleApplicationVisitor()

getSaturationStateWriter

protected abstract BasicSaturationStateWriter getSaturationStateWriter()