org.semanticweb.elk.reasoner.saturation.rules
Interface RuleApplicationVisitor

All Known Implementing Classes:

BasicCompositionRuleApplicationVisitor, RuleApplicationCounterVisitor, RuleApplicationTimerVisitor

public interface RuleApplicationVisitor

Author:

Pavel Klinov pavel.klinov@uni-ulm.de, "Yevgeny Kazakov"

Method Summary

void	visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)
void	visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule, BasicSaturationStateWriter writer, BackwardLink backwardLink)

Method Detail

visit

void visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(DirectIndex.ContextRootInitializationRule rootInitRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule,
           BasicSaturationStateWriter writer,
           Context context)

visit

void visit(ForwardLink.ThisBackwardLinkRule thisBackwardLinkRule,
           BasicSaturationStateWriter writer,
           BackwardLink backwardLink)

visit

void visit(Propagation.ThisBackwardLinkRule thisBackwardLinkRule,
           BasicSaturationStateWriter writer,
           BackwardLink backwardLink)

visit

void visit(Contradiction.ContradictionBackwardLinkRule bottomBackwardLinkRule,
           BasicSaturationStateWriter writer,
           BackwardLink backwardLink)