org.semanticweb.elk.reasoner.saturation.conclusions
Interface Conclusion

All Known Implementing Classes:

AbstractConclusion, BackwardLink, Contradiction, DisjointnessAxiom, ForwardLink, NegativeSubsumer, PositiveSubsumer, Propagation, Subsumer

public interface Conclusion

A general type of conclusions, produced by inference rules. This is the main type of information that is exchanged between Contexts. When a Conclusion has been derived for a particular Context, it should be processed within this context.

Author:

"Yevgeny Kazakov"

Method Summary

<R> R	accept(ConclusionVisitor<R> visitor, Context context)
Context	getSourceContext(Context contextWhereStored)

Method Detail

accept

<R> R accept(ConclusionVisitor<R> visitor,
             Context context)

getSourceContext

Context getSourceContext(Context contextWhereStored)

Parameters:

contextWhereStored -

Returns:

The context which this conclusion is logically relevant for, or null if none