org.semanticweb.elk.reasoner.saturation.rules

Class ContextCompletionFactory

java.lang.Object

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

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

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

All Implemented Interfaces:

Interrupter

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

Fields

Modifier and Type	Field and Description
protected static org.apache.log4j.Logger	LOGGER_

Constructor Summary

Constructors

Constructor and Description
ContextCompletionFactory(SaturationState saturationState)

Method Summary

Methods

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

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