org.semanticweb.elk.reasoner.saturation.rules

Class RuleDeapplicationFactory

java.lang.Object

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

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

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

All Implemented Interfaces:

Interrupter

Direct Known Subclasses:

ContextCleaningFactory

public class RuleDeapplicationFactory
extends RuleApplicationFactory

Creates an engine which applies rules backwards, e.g., removes conclusions from the context instead of adding them

Author:

Pavel Klinov pavel.klinov@uni-ulm.de, "Yevgeny Kazakov"

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	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
RuleDeapplicationFactory(SaturationState saturationState, boolean trackModifiedContexts)

Method Summary

Methods

Modifier and Type	Method and Description
RuleDeapplicationFactory.DeapplicationEngine	getDefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)

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

RuleDeapplicationFactory

public RuleDeapplicationFactory(SaturationState saturationState,
                        boolean trackModifiedContexts)

Method Detail

getDefaultEngine

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

Overrides:

getDefaultEngine in class RuleApplicationFactory