org.semanticweb.elk.reasoner.saturation.rules
Class BasicCompositionRuleApplicationVisitor

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

All Implemented Interfaces:

RuleApplicationVisitor

public class BasicCompositionRuleApplicationVisitor
extends Object
implements RuleApplicationVisitor

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

BasicCompositionRuleApplicationVisitor()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicCompositionRuleApplicationVisitor

public BasicCompositionRuleApplicationVisitor()

Method Detail

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor

visit

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

Specified by:

visit in interface RuleApplicationVisitor