org.semanticweb.elk.reasoner.saturation.rules

Class ContextCleaningFactory.CleaningEngine

java.lang.Object

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

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

org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory.CleaningEngine

All Implemented Interfaces:

RuleEngine, InputProcessor<IndexedClassExpression>

Enclosing class:

ContextCleaningFactory

public class ContextCleaningFactory.CleaningEngine
extends RuleDeapplicationFactory.DeapplicationEngine

A RuleDeapplicationFactory that its own saturation state riter that does not produce conclusions if their source is marked as saturated.

Field Summary

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

localContextStatistics, localStatistics

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ContextCleaningFactory.CleaningEngine()

Method Summary

Methods

Modifier and Type	Method and Description
protected BasicSaturationStateWriter	getSaturationStateWriter()

Methods inherited from class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine

getBaseConclusionProcessor, getDecompositionRuleApplicationVisitor, submit

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

ContextCleaningFactory.CleaningEngine

protected ContextCleaningFactory.CleaningEngine()

Method Detail

getSaturationStateWriter

protected BasicSaturationStateWriter getSaturationStateWriter()

Overrides:

getSaturationStateWriter in class RuleDeapplicationFactory.DeapplicationEngine