org.semanticweb.elk.reasoner.saturation.rules

Class RuleDeapplicationFactory.DeapplicationEngine

java.lang.Object

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

org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine

All Implemented Interfaces:

RuleEngine, InputProcessor<IndexedClassExpression>

Direct Known Subclasses:

ContextCleaningFactory.CleaningEngine

Enclosing class:

RuleDeapplicationFactory

public class RuleDeapplicationFactory.DeapplicationEngine
extends RuleApplicationFactory.BaseEngine

Field Summary

Fields inherited from class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

localContextStatistics, localStatistics

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RuleDeapplicationFactory.DeapplicationEngine(ContextModificationListener listener)

Method Summary

Methods

Modifier and Type	Method and Description
protected ConclusionVisitor<Boolean>	getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter) Returns the base ConclusionVisitor that performs processing of Conclusions within a Context.
protected DecompositionRuleApplicationVisitor	getDecompositionRuleApplicationVisitor()
protected BasicSaturationStateWriter	getSaturationStateWriter()
void	submit(IndexedClassExpression job)

Methods inherited from class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

finish, getConclusionProcessor, getUsedConclusionsCountingVisitor, process, process

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleDeapplicationFactory.DeapplicationEngine

protected RuleDeapplicationFactory.DeapplicationEngine(ContextModificationListener listener)

Method Detail

getBaseConclusionProcessor

protected ConclusionVisitor<Boolean> getBaseConclusionProcessor(BasicSaturationStateWriter saturationStateWriter)

Description copied from class: RuleApplicationFactory.BaseEngine

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

Overrides:

getBaseConclusionProcessor in class RuleApplicationFactory.BaseEngine

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

submit

public void submit(IndexedClassExpression job)

getSaturationStateWriter

protected BasicSaturationStateWriter getSaturationStateWriter()

Specified by:

getSaturationStateWriter in class RuleApplicationFactory.BaseEngine

getDecompositionRuleApplicationVisitor

protected DecompositionRuleApplicationVisitor getDecompositionRuleApplicationVisitor()

Specified by:

getDecompositionRuleApplicationVisitor in class RuleApplicationFactory.BaseEngine