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

Interface Summary

ChainableRule<E>
DecompositionRuleApplicationVisitor	Applies decomposition rules for IndexedClassExpressions.
LinkRule<E>
ModifiableLinkRule<E>
Rule<E>	A rule that can be applied to elements of a particular type within a BasicSaturationStateWriter.
RuleApplicationVisitor
RuleEngine	A common interface for engines used in the saturation for IndexedClassExpressions.

Class Summary

BackwardDecompositionRuleApplicationVisitor	Used for decomposing class expressions when rules are applied backwards
BasicCompositionRuleApplicationVisitor
ContextCleaningFactory	Creates an engine which works as the de-application engine except that it doesn't modify saturated contexts.
ContextCompletionFactory	Applies rules to all conclusions of partially completed contexts to close them deductively.
DecompositionRuleApplicationCounter	An object which can be used to measure the methods invocations of a DecompositionRuleApplicationVisitor.
DecompositionRuleApplicationCounterVisitor	A DecompositionRuleApplicationVisitor wrapper for a given DecompositionRuleApplicationVisitor that additionally records the number of invocations of the methods using the given DecompositionRuleApplicationCounter.
DecompositionRuleApplicationTimer
DecompositionRuleApplicationTimerVisitor
ForwardDecompositionRuleApplicationVisitor	Used for decomposing class expressions when rules are applied forward
RuleApplicationCounter	An object which can be used to measure the methods invocations of a RuleApplicationVisitor.
RuleApplicationCounterVisitor	A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the number of invocations of the methods using the given RuleApplicationCounter.
RuleApplicationFactory	The factory for engines for concurrently computing the saturation of class expressions.
RuleApplicationTimer	An object which can be used to measure time spent within a methods of a RuleApplicationVisitor.
RuleApplicationTimerVisitor	A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the time spend within methods in the given RuleApplicationTimer.
RuleDeapplicationFactory	Creates an engine which applies rules backwards, e.g., removes conclusions from the context instead of adding them
RuleStatistics	The object that is used to measure the number of applied rules and time spent inside rules.