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

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory
      org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory
          org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory

public class ContextCleaningFactory
extends RuleDeapplicationFactory

Creates an engine which works as the de-application engine except that it doesn't modify saturated contexts. The engine is used to "clean" contexts after de-application but if the context is saturated, then cleaning is unnecessary because it's not going to get any extra super-classes after re-application.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Nested Class Summary

class

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

Nested classes/interfaces inherited from class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory

RuleDeapplicationFactory.DeapplicationEngine

Nested classes/interfaces inherited from class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

RuleApplicationFactory.BaseEngine, RuleApplicationFactory.DefaultEngine

Field Summary

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

LOGGER_

Constructor Summary

ContextCleaningFactory(SaturationState saturationState)

Method Summary

RuleDeapplicationFactory.DeapplicationEngine

getDefaultEngine(ContextCreationListener listener, ContextModificationListener modificationListener)

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

finish, getSaturationState, getSaturationStatistics

Methods inherited from class java.lang.Object

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

Constructor Detail

ContextCleaningFactory

public ContextCleaningFactory(SaturationState saturationState)

Method Detail

getDefaultEngine

public RuleDeapplicationFactory.DeapplicationEngine getDefaultEngine(ContextCreationListener listener,
                                                                     ContextModificationListener modificationListener)

Overrides:

getDefaultEngine in class RuleDeapplicationFactory