org.semanticweb.elk.reasoner.saturation.rules

Interface DecompositionRuleApplicationVisitor

All Known Implementing Classes:

BackwardDecompositionRuleApplicationVisitor, DecompositionRuleApplicationCounterVisitor, DecompositionRuleApplicationTimerVisitor, ForwardDecompositionRuleApplicationVisitor

public interface DecompositionRuleApplicationVisitor

Applies decomposition rules for IndexedClassExpressions. This visit methods do not take any BasicSaturationStateWriter but the visitor is rather supposed to encapsulate it. Then it's easier to use restricted writers, e.g. those which can't create new contexts, in subclasses

Author:

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

Method Summary

Methods

Modifier and Type	Method and Description
void	visit(IndexedClass ice, Context context)
void	visit(IndexedDataHasValue ice, Context context)
void	visit(IndexedObjectComplementOf ice, Context context)
void	visit(IndexedObjectIntersectionOf ice, Context context)
void	visit(IndexedObjectSomeValuesFrom ice, Context context)

Method Detail

visit

void visit(IndexedClass ice,
         Context context)

visit

void visit(IndexedObjectComplementOf ice,
         Context context)

visit

void visit(IndexedObjectIntersectionOf ice,
         Context context)

visit

void visit(IndexedObjectSomeValuesFrom ice,
         Context context)

visit

void visit(IndexedDataHasValue ice,
         Context context)