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

Constructors

Constructor and Description
BasicCompositionRuleApplicationVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
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