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

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

Direct Known Subclasses:

ContextCompletionFactory, RuleDeapplicationFactory

public class RuleApplicationFactory
extends Object

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

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

protected static org.apache.log4j.Logger

LOGGER_

Constructor Summary

RuleApplicationFactory(SaturationState saturationState)

RuleApplicationFactory(SaturationState saturationState, boolean trackModifiedContexts)

Method Summary

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

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