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

Packages that use RuleApplicationFactory

org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.rules

Uses of RuleApplicationFactory in org.semanticweb.elk.reasoner.saturation

Constructors in org.semanticweb.elk.reasoner.saturation with parameters of type RuleApplicationFactory

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

ClassExpressionSaturation(Collection<I> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, RuleApplicationFactory ruleAppFactory)

ClassExpressionSaturationFactory(RuleApplicationFactory ruleAppFactory, int maxWorkers)
Creates a new saturation factory using the given rule application factory.

ClassExpressionSaturationFactory(RuleApplicationFactory ruleAppFactory, int maxWorkers, ClassExpressionSaturationListener<J> listener)

Uses of RuleApplicationFactory in org.semanticweb.elk.reasoner.saturation.rules

Subclasses of RuleApplicationFactory in org.semanticweb.elk.reasoner.saturation.rules

class	ContextCleaningFactory Creates an engine which works as the de-application engine except that it doesn't modify saturated contexts.
class	ContextCompletionFactory Applies rules to all conclusions of partially completed contexts to close them deductively.
class	RuleDeapplicationFactory Creates an engine which applies rules backwards, e.g., removes conclusions from the context instead of adding them