org.semanticweb.elk.reasoner.saturation.rules

Interface LinkRule<E>

All Superinterfaces:

Link<LinkRule<E>>, Rule<E>

All Known Subinterfaces:

ChainableRule<E>, ModifiableLinkRule<E>

All Known Implementing Classes:

Contradiction.ContradictionBackwardLinkRule, DirectIndex.ContextRootInitializationRule, ForwardLink.ThisBackwardLinkRule, IndexedClass.OwlThingContextInitializationRule, IndexedDisjointnessAxiom.ThisCompositionRule, IndexedDisjointnessAxiom.ThisContradictionRule, IndexedObjectComplementOf.ThisCompositionRule, IndexedObjectIntersectionOf.ThisCompositionRule, IndexedObjectSomeValuesFrom.ThisCompositionRule, IndexedObjectUnionOf.ThisCompositionRule, IndexedSubClassOfAxiom.ThisCompositionRule, Propagation.ThisBackwardLinkRule

public interface LinkRule<E>
extends Rule<E>, Link<LinkRule<E>>

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, E element)

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.rules.Rule

apply, getName

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

next

Method Detail

accept

void accept(RuleApplicationVisitor visitor,
          BasicSaturationStateWriter writer,
          E element)