org.semanticweb.elk.reasoner.saturation.conclusions

Class ForwardLink.ThisBackwardLinkRule

java.lang.Object

org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl<ModifiableLinkRule<BackwardLink>>

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

All Implemented Interfaces:

LinkRule<BackwardLink>, ModifiableLinkRule<BackwardLink>, Rule<BackwardLink>, Link<LinkRule<BackwardLink>>, ModifiableLink<ModifiableLinkRule<BackwardLink>>

Enclosing class:

ForwardLink

public static class ForwardLink.ThisBackwardLinkRule
extends ModifiableLinkImpl<ModifiableLinkRule<BackwardLink>>
implements ModifiableLinkRule<BackwardLink>

A type of ModifiableLinkRule created for ForwardLinks and stored in the Context where it is produced. There can be at most one rule of this type stored in every Context. The rule essentially indexes all ForwardLinks produced in this Context and applies inferences with every produced BackwardLink in this Context, such as computing implied role chains.

Author:

"Yevgeny Kazakov"

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	apply(BasicSaturationStateWriter engine, BackwardLink link) Applying the rule to an element within a BasicSaturationStateWriter
Multimap<IndexedPropertyChain,Context>	getForwardLinksByObjectProperty()
String	getName()

Methods inherited from class org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl

next, setNext

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.util.collections.chains.Link

next

Methods inherited from interface org.semanticweb.elk.util.collections.chains.ModifiableLink

next, setNext

Method Detail

getForwardLinksByObjectProperty

public Multimap<IndexedPropertyChain,Context> getForwardLinksByObjectProperty()

getName

public String getName()

Specified by:

getName in interface Rule<BackwardLink>

Returns:

the name of this rule

apply

public void apply(BasicSaturationStateWriter engine,
         BackwardLink link)

Description copied from interface: Rule

Applying the rule to an element within a BasicSaturationStateWriter

Specified by:

apply in interface Rule<BackwardLink>

Parameters:

engine - a BasicSaturationStateWriter which could be changed as a result of this rule's application

link - the element to which the rule is applied

accept

public void accept(RuleApplicationVisitor visitor,
          BasicSaturationStateWriter writer,
          BackwardLink backwardLink)

Specified by:

accept in interface LinkRule<BackwardLink>