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

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

All Implemented Interfaces:

Conclusion

public class Propagation
extends AbstractConclusion

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Nested Class Summary

static class

Propagation.ThisBackwardLinkRule

Constructor Summary

Propagation(IndexedPropertyChain relation, IndexedClassExpression carry)

Method Summary

<R> R	accept(ConclusionVisitor<R> visitor, Context context)
boolean	addToContextBackwardLinkRule(Context context)
void	apply(BasicSaturationStateWriter writer, Context context)
boolean	containsBackwardLinkRule(Context context)
Context	getSourceContext(Context contextWhereStored)
boolean	removeFromContextBackwardLinkRule(Context context)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Propagation

public Propagation(IndexedPropertyChain relation,
                   IndexedClassExpression carry)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

apply

public void apply(BasicSaturationStateWriter writer,
                  Context context)

accept

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

getSourceContext

public Context getSourceContext(Context contextWhereStored)

Specified by:

getSourceContext in interface Conclusion

Overrides:

getSourceContext in class AbstractConclusion

Returns:

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

addToContextBackwardLinkRule

public boolean addToContextBackwardLinkRule(Context context)

removeFromContextBackwardLinkRule

public boolean removeFromContextBackwardLinkRule(Context context)

containsBackwardLinkRule

public boolean containsBackwardLinkRule(Context context)