Package org.semanticweb.elk.reasoner.saturation

Interface Summary

BasicSaturationStateWriter	Functions that can write the saturation state are grouped here.
ClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>>	A listener to be used with ClassExpressionSaturationFactory.
ContextCreationListener
ContextModificationListener
ExtendedSaturationStateWriter	The extended writer for situations when new contexts may need to be created/initialized or removed.
SaturationState	Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.

Class Summary

ClassExpressionNoInputSaturation	A ReasonerComputation that continues saturation based on what's currently initialized in the RuleApplicationFactory
ClassExpressionSaturation<I extends IndexedClassExpression>	A ReasonerComputation that computes saturation for the input collection of IndexedClassExpressions
ClassExpressionSaturationFactory<J extends SaturationJob<? extends IndexedClassExpression>>	The factory for engines that concurrently submit, process, and post-process saturation jobs.
ContextImpl	Context implementation that is used for EL reasoning.
DummyClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>>	A ClassExpressionSaturationListener that does nothing with finished jobs
SaturationJob<I extends IndexedClassExpression>
SaturationStateFactory	A simple factory for creating saturation states
SaturationStatistics
SaturationUtils	Utilities for common saturation tasks