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

Packages that use org.semanticweb.elk.reasoner.saturation.rules

Package	Description
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.indexing
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context
org.semanticweb.elk.reasoner.saturation.rules

Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.incremental

Class and Description
ChainableRule

Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.indexing

Class and Description
LinkRule

Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.indexing.hierarchy

Class and Description
ChainableRule
DecompositionRuleApplicationVisitor Applies decomposition rules for IndexedClassExpressions.
LinkRule
Rule A rule that can be applied to elements of a particular type within a BasicSaturationStateWriter.
RuleApplicationVisitor

Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.saturation

Class and Description
DecompositionRuleApplicationVisitor Applies decomposition rules for IndexedClassExpressions.
ModifiableLinkRule
RuleApplicationFactory The factory for engines for concurrently computing the saturation of class expressions.
RuleApplicationVisitor
RuleStatistics The object that is used to measure the number of applied rules and time spent inside rules.

Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.saturation.conclusions

Class and Description
DecompositionRuleApplicationVisitor Applies decomposition rules for IndexedClassExpressions.
LinkRule
ModifiableLinkRule
Rule A rule that can be applied to elements of a particular type within a BasicSaturationStateWriter.
RuleApplicationVisitor

Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.saturation.context

Class and Description
LinkRule
ModifiableLinkRule

Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.saturation.rules

Class and Description
DecompositionRuleApplicationCounter An object which can be used to measure the methods invocations of a DecompositionRuleApplicationVisitor.
DecompositionRuleApplicationTimer
DecompositionRuleApplicationVisitor Applies decomposition rules for IndexedClassExpressions.
LinkRule
Rule A rule that can be applied to elements of a particular type within a BasicSaturationStateWriter.
RuleApplicationCounter An object which can be used to measure the methods invocations of a RuleApplicationVisitor.
RuleApplicationFactory The factory for engines for concurrently computing the saturation of class expressions.
RuleApplicationFactory.BaseEngine This engine has all the functionality for applying rules but needs to be extended if new contexts may need to be created
RuleApplicationTimer An object which can be used to measure time spent within a methods of a RuleApplicationVisitor.
RuleApplicationVisitor
RuleDeapplicationFactory Creates an engine which applies rules backwards, e.g., removes conclusions from the context instead of adding them
RuleDeapplicationFactory.DeapplicationEngine
RuleEngine A common interface for engines used in the saturation for IndexedClassExpressions.
RuleStatistics The object that is used to measure the number of applied rules and time spent inside rules.