|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.incremental | |
|---|---|
| ChainableRule
|
|
| Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.indexing | |
|---|---|
| LinkRule
|
|
| Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.indexing.hierarchy | |
|---|---|
| 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 | |
|---|---|
| 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 | |
|---|---|
| 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 | |
|---|---|
| LinkRule
|
|
| ModifiableLinkRule
|
|
| Classes in org.semanticweb.elk.reasoner.saturation.rules used by org.semanticweb.elk.reasoner.saturation.rules | |
|---|---|
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||