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

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

All Implemented Interfaces:

Conclusion

public class ForwardLink
extends AbstractConclusion

A Conclusion representing derived existential restrictions from this source Context to a target Context. Intuitively, if a subclass axiom SubClassOf(:A ObjectSomeValuesFrom(:r :B)) is derived by inference rules, then a ForwardLink with the relation :r and the target :B can be produced for the source context with root :A.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Nested Class Summary

static class

ForwardLink.ThisBackwardLinkRule A type of ModifiableLinkRule created for ForwardLinks and stored in the Context where it is produced.

Constructor Summary

ForwardLink(IndexedPropertyChain relation, Context target)

Method Summary

<R> R	accept(ConclusionVisitor<R> visitor, Context context)
boolean	addToContextBackwardLinkRule(Context context)
void	apply(BasicSaturationStateWriter engine, Context context)
boolean	containsBackwardLinkRule(Context context)
IndexedPropertyChain	getRelation()
Context	getTarget()
boolean	removeFromContextBackwardLinkRule(Context context)
String	toString()

Methods inherited from class org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

getSourceContext

Methods inherited from class java.lang.Object

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

Constructor Detail

ForwardLink

public ForwardLink(IndexedPropertyChain relation,
                   Context target)

Method Detail

getRelation

public IndexedPropertyChain getRelation()

getTarget

public Context getTarget()

apply

public void apply(BasicSaturationStateWriter engine,
                  Context context)

accept

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

addToContextBackwardLinkRule

public boolean addToContextBackwardLinkRule(Context context)

removeFromContextBackwardLinkRule

public boolean removeFromContextBackwardLinkRule(Context context)

containsBackwardLinkRule

public boolean containsBackwardLinkRule(Context context)

toString

public String toString()

Overrides:

toString in class Object