org.semanticweb.elk.reasoner.saturation

Class ClassExpressionNoInputSaturation

java.lang.Object

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

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

All Implemented Interfaces:

Interrupter

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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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, getInputProcessorFactory, setInterrupt, start, submit, waitWorkers

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

isInterrupted

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