org.semanticweb.elk.reasoner.saturation.rules

Class ContextCleaningFactory

java.lang.Object

org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

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

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

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

All Implemented Interfaces:

Interrupter

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

Nested Classes

Modifier and Type	Class and Description
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

Constructors

Constructor and Description
ContextCleaningFactory(SaturationState saturationState)

Method Summary

Methods

Modifier and Type	Method and Description
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 org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

isInterrupted, setInterrupt

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