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