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

protected

ContextCleaningFactory.CleaningEngine()

Method Summary

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