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