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

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

public class ContextCompletionFactory
extends RuleApplicationFactory

Applies rules to all conclusions of partially completed contexts to close them deductively. Uses a local saturation state to iterate over all conclusions, adds previously non-existent conclusions to the ToDo queues in the main saturation state.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Nested Class Summary

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

RuleApplicationFactory.BaseEngine, RuleApplicationFactory.DefaultEngine

Field Summary

protected static org.apache.log4j.Logger

LOGGER_

Constructor Summary

ContextCompletionFactory(SaturationState saturationState)

Method Summary

RuleApplicationFactory.BaseEngine	getDefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)
SaturationState	getSaturationState()

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

finish, getSaturationStatistics

Methods inherited from class java.lang.Object

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

Field Detail

LOGGER_

protected static final org.apache.log4j.Logger LOGGER_

Constructor Detail

ContextCompletionFactory

public ContextCompletionFactory(SaturationState saturationState)

Method Detail

getDefaultEngine

public RuleApplicationFactory.BaseEngine getDefaultEngine(ContextCreationListener listener,
                                                          ContextModificationListener modListener)

Overrides:

getDefaultEngine in class RuleApplicationFactory

getSaturationState

public SaturationState getSaturationState()

Overrides:

getSaturationState in class RuleApplicationFactory