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

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

Package	Description
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.conclusions used by org.semanticweb.elk.reasoner.saturation

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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