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

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

All Implemented Interfaces:

RuleEngine, InputProcessor<IndexedClassExpression>

Enclosing class:

RuleApplicationFactory

public class RuleApplicationFactory.DefaultEngine
extends RuleApplicationFactory.BaseEngine

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 inherited from class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

localContextStatistics, localStatistics

Constructor Summary

protected	RuleApplicationFactory.DefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)
protected	RuleApplicationFactory.DefaultEngine(ExtendedSaturationStateWriter saturationStateWriter, SaturationStatistics localStatistics)

Method Summary

protected DecompositionRuleApplicationVisitor	getDecompositionRuleApplicationVisitor()
protected ExtendedSaturationStateWriter	getSaturationStateWriter()
void	submit(IndexedClassExpression job)

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

finish, getBaseConclusionProcessor, getConclusionProcessor, getUsedConclusionsCountingVisitor, process, process

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleApplicationFactory.DefaultEngine

protected RuleApplicationFactory.DefaultEngine(ExtendedSaturationStateWriter saturationStateWriter,
                                               SaturationStatistics localStatistics)

RuleApplicationFactory.DefaultEngine

protected RuleApplicationFactory.DefaultEngine(ContextCreationListener listener,
                                               ContextModificationListener modListener)

Method Detail

submit

public void submit(IndexedClassExpression job)

getSaturationStateWriter

protected ExtendedSaturationStateWriter getSaturationStateWriter()

Specified by:

getSaturationStateWriter in class RuleApplicationFactory.BaseEngine

getDecompositionRuleApplicationVisitor

protected DecompositionRuleApplicationVisitor getDecompositionRuleApplicationVisitor()

Specified by:

getDecompositionRuleApplicationVisitor in class RuleApplicationFactory.BaseEngine