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

Constructors

Constructor and Description
AbstractConclusion()

Method Summary

Methods

Modifier and Type	Method and Description
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