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

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

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

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

RuleDeapplicationFactory(SaturationState saturationState, boolean trackModifiedContexts)

Method Summary

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 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