org.semanticweb.elk.reasoner.saturation.conclusions

Class BackwardLink

java.lang.Object

org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

All Implemented Interfaces:

Conclusion

public class BackwardLink
extends Object
implements Conclusion

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

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Constructor Summary

Constructors

Constructor and Description
BackwardLink(Context source, IndexedPropertyChain relation)

Method Summary

Methods

Modifier and Type	Method and Description
<R> R	accept(ConclusionVisitor<R> visitor, Context context)
void	apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
IndexedPropertyChain	getRelation()
Context	getSource()
Context	getSourceContext(Context contextWhereStored)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BackwardLink

public BackwardLink(Context source,
            IndexedPropertyChain relation)

Method Detail

getRelation

public IndexedPropertyChain getRelation()

getSource

public Context getSource()

Returns:

the source of this BackwardLink, that is, the Context from which the existential restriction corresponding to this BackwardLink follows

apply

public void apply(BasicSaturationStateWriter writer,
         Context context,
         RuleApplicationVisitor ruleAppVisitor)

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

toString

public String toString()

Overrides:

toString in class Object

accept

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

Specified by:

accept in interface Conclusion