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

java.lang.Object
  extended by org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl<ModifiableLinkRule<BackwardLink>>
      extended by 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
 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>


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.