org.semanticweb.elk.reasoner.saturation.rules

Class RuleApplicationFactory

java.lang.Object

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

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

All Implemented Interfaces:

Interrupter

Direct Known Subclasses:

ContextCompletionFactory, RuleDeapplicationFactory

public class RuleApplicationFactory
extends SimpleInterrupter

The factory for engines for concurrently computing the saturation of class expressions. This is the class that implements the application of inference rules.

Author:

Frantisek Simancik, Yevgeny Kazakov, Markus Kroetzsch, Pavel Klinov

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	RuleApplicationFactory.BaseEngine This engine has all the functionality for applying rules but needs to be extended if new contexts may need to be created
class	RuleApplicationFactory.DefaultEngine Default rule application engine which can create new contexts via ExtendedSaturationStateWriter (either directly when a new IndexedClassExpression is submitted or during decomposition

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
RuleApplicationFactory(SaturationState saturationState)
RuleApplicationFactory(SaturationState saturationState, boolean trackModifiedContexts)

Method Summary

Methods

Modifier and Type	Method and Description
void	finish()
RuleApplicationFactory.BaseEngine	getDefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)
SaturationState	getSaturationState()
SaturationStatistics	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

RuleApplicationFactory

public RuleApplicationFactory(SaturationState saturationState)

RuleApplicationFactory

public RuleApplicationFactory(SaturationState saturationState,
                      boolean trackModifiedContexts)

Method Detail

getDefaultEngine

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

finish

public void finish()

getSaturationStatistics

public SaturationStatistics getSaturationStatistics()

getSaturationState

public SaturationState getSaturationState()