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

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion (implements org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion)
    • org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction
    • org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom
    • org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink
    • org.semanticweb.elk.reasoner.saturation.conclusions.Propagation
  • org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink (implements org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion)
  • org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer
  • org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl<T> (implements org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
    • org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.ContradictionBackwardLinkRule (implements org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E>)
    • org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink.ThisBackwardLinkRule (implements org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E>)
    • org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule (implements org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor<T> (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer (implements org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion)
    • org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer
    • org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer
  • org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)

Interface Hierarchy

• org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion
• org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>