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

Interface Summary

Interface	Description
Conclusion	A general type of conclusions, produced by inference rules.
ConclusionVisitor<R>

Class Summary

Class	Description
AbstractConclusion
BackwardLink	A Conclusion representing derived existential restrictions from a source Context to this target Context.
CombinedConclusionVisitor
ConclusionApplicationVisitor
ConclusionCounter
ConclusionDeapplicationVisitor
ConclusionDeletionVisitor
ConclusionInsertionVisitor
ConclusionOccurranceCheckingVisitor
ConclusionSourceUnsaturationVisitor	A ConclusionVisitor that marks the source context of the conclusion as not saturated
ConclusionStatistics
ConclusionTimer
Contradiction
Contradiction.ContradictionBackwardLinkRule	A backward link rule to propagate contradiction through any new backward links
CountingConclusionVisitor
DisjointnessAxiom
ForwardLink	A Conclusion representing derived existential restrictions from this source Context to a target Context.
ForwardLink.ThisBackwardLinkRule	A type of ModifiableLinkRule created for ForwardLinks and stored in the Context where it is produced.
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.
PreprocessedConclusionVisitor<T>
Propagation
Propagation.ThisBackwardLinkRule
Subsumer	A Conclusion representing a subsumer IndexedClassExpression of the root of the Context for which it is produced.
TimedConclusionVisitor