org.semanticweb.elk.reasoner.saturation
Class ClassExpressionNoInputSaturation

java.lang.Object
  org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>
      org.semanticweb.elk.reasoner.ReasonerComputation<IndexedClassExpression,org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturationFactory>
          org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturation

public class ClassExpressionNoInputSaturation
extends ReasonerComputation<IndexedClassExpression,org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturationFactory>

A ReasonerComputation that continues saturation based on what's currently initialized in the RuleApplicationFactory

Author:

Pavel Klinov

Field Summary

Fields inherited from class org.semanticweb.elk.reasoner.ReasonerComputation

progressMonitor, todo

Fields inherited from class org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation

buffer, executor, finishRequested, inputProcessorFactory, interrupted, maxWorkers, worker

Constructor Summary

ClassExpressionNoInputSaturation(ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, RuleApplicationFactory ruleAppFactory, ContextModificationListener contextModificationListener)

Method Summary

SaturationStatistics	getRuleAndConclusionStatistics()
void	printStatistics() Print statistics about the saturation computation

Methods inherited from class org.semanticweb.elk.reasoner.ReasonerComputation

process

Methods inherited from class org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation

finish, interrupt, start, submit

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassExpressionNoInputSaturation

public ClassExpressionNoInputSaturation(ComputationExecutor executor,
                                        int maxWorkers,
                                        ProgressMonitor progressMonitor,
                                        RuleApplicationFactory ruleAppFactory,
                                        ContextModificationListener contextModificationListener)

Method Detail

printStatistics

public void printStatistics()

Print statistics about the saturation computation

getRuleAndConclusionStatistics

public SaturationStatistics getRuleAndConclusionStatistics()