org.semanticweb.elk.reasoner.saturation.rules

Interfaces

• ChainableRule
• DecompositionRuleApplicationVisitor
• LinkRule
• ModifiableLinkRule
• Rule
• RuleApplicationVisitor
• RuleEngine

Classes

• BackwardDecompositionRuleApplicationVisitor
• BasicCompositionRuleApplicationVisitor
• ContextCleaningFactory
• ContextCompletionFactory
• DecompositionRuleApplicationCounter
• DecompositionRuleApplicationCounterVisitor
• DecompositionRuleApplicationTimer
• DecompositionRuleApplicationTimerVisitor
• ForwardDecompositionRuleApplicationVisitor
• RuleApplicationCounter
• RuleApplicationCounterVisitor
• RuleApplicationFactory
• RuleApplicationTimer
• RuleApplicationTimerVisitor
• RuleDeapplicationFactory
• RuleStatistics