org.semanticweb.elk.reasoner.saturation.conclusions
Class AbstractConclusion

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

All Implemented Interfaces:

Conclusion

Direct Known Subclasses:

Contradiction, DisjointnessAxiom, ForwardLink, Propagation

public abstract class AbstractConclusion
extends Object
implements Conclusion

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

AbstractConclusion()

Method Summary

Context

getSourceContext(Context contextWhereStored)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion

accept

Constructor Detail

AbstractConclusion

public AbstractConclusion()

Method Detail

getSourceContext

public Context getSourceContext(Context contextWhereStored)

Specified by:

getSourceContext in interface Conclusion

Returns:

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