org.semanticweb.elk.reasoner.saturation.conclusions

Interfaces

• Conclusion
• ConclusionVisitor

Classes

• AbstractConclusion
• BackwardLink
• CombinedConclusionVisitor
• ConclusionApplicationVisitor
• ConclusionCounter
• ConclusionDeapplicationVisitor
• ConclusionDeletionVisitor
• ConclusionInsertionVisitor
• ConclusionOccurranceCheckingVisitor
• ConclusionSourceUnsaturationVisitor
• ConclusionStatistics
• ConclusionTimer
• Contradiction
• Contradiction.ContradictionBackwardLinkRule
• CountingConclusionVisitor
• DisjointnessAxiom
• ForwardLink
• ForwardLink.ThisBackwardLinkRule
• NegativeSubsumer
• PositiveSubsumer
• PreprocessedConclusionVisitor
• Propagation
• Propagation.ThisBackwardLinkRule
• Subsumer
• TimedConclusionVisitor