|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Classes in org.semanticweb.elk.reasoner.saturation.conclusions used by org.semanticweb.elk.reasoner.saturation | |
|---|---|
| BackwardLink
A Conclusion representing derived existential restrictions from a
source Context to this target Context. |
|
| Conclusion
A general type of conclusions, produced by inference rules. |
|
| ConclusionStatistics
|
|
| ConclusionVisitor
|
|
| Classes in org.semanticweb.elk.reasoner.saturation.conclusions used by org.semanticweb.elk.reasoner.saturation.conclusions | |
|---|---|
| AbstractConclusion
|
|
| BackwardLink
A Conclusion representing derived existential restrictions from a
source Context to this target Context. |
|
| Conclusion
A general type of conclusions, produced by inference rules. |
|
| ConclusionCounter
|
|
| ConclusionStatistics
|
|
| ConclusionTimer
|
|
| ConclusionVisitor
|
|
| Contradiction
|
|
| DisjointnessAxiom
|
|
| ForwardLink
A Conclusion representing derived existential restrictions from this
source Context to a target Context. |
|
| NegativeSubsumer
A Subsumer, for which the structure of the enclosed
IndexedClassExpression should not be taken into account when applying
the rules within Context. |
|
| PositiveSubsumer
A Subsumer, for which the structure of the enclosed
IndexedClassExpression should be taken into account. |
|
| Propagation
|
|
| Subsumer
A Conclusion representing a subsumer IndexedClassExpression
of the root of the Context for which it is produced. |
|
| Classes in org.semanticweb.elk.reasoner.saturation.conclusions used by org.semanticweb.elk.reasoner.saturation.context | |
|---|---|
| BackwardLink
A Conclusion representing derived existential restrictions from a
source Context to this target Context. |
|
| Conclusion
A general type of conclusions, produced by inference rules. |
|
| Classes in org.semanticweb.elk.reasoner.saturation.conclusions used by org.semanticweb.elk.reasoner.saturation.rules | |
|---|---|
| BackwardLink
A Conclusion representing derived existential restrictions from a
source Context to this target Context. |
|
| ConclusionVisitor
|
|
| Contradiction.ContradictionBackwardLinkRule
A backward link rule to propagate contradiction through any new backward links |
|
| ForwardLink.ThisBackwardLinkRule
A type of ModifiableLinkRule created for
ForwardLinks and stored in the Context where it is
produced. |
|
| Propagation.ThisBackwardLinkRule
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||