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

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

All Implemented Interfaces:

DecompositionRuleApplicationVisitor

public class BackwardDecompositionRuleApplicationVisitor
extends Object

Used for decomposing class expressions when rules are applied backwards

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

protected static org.apache.log4j.Logger

LOGGER_

Constructor Summary

BackwardDecompositionRuleApplicationVisitor(BasicSaturationStateWriter writer)

Method Summary

protected BasicSaturationStateWriter	getSaturationStateWriter()
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)

Methods inherited from class java.lang.Object

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

Field Detail

LOGGER_

protected static final org.apache.log4j.Logger LOGGER_

Constructor Detail

BackwardDecompositionRuleApplicationVisitor

public BackwardDecompositionRuleApplicationVisitor(BasicSaturationStateWriter writer)

Method Detail

visit

public void visit(IndexedObjectSomeValuesFrom ice,
                  Context context)

getSaturationStateWriter

protected BasicSaturationStateWriter getSaturationStateWriter()

visit

public void visit(IndexedClass ice,
                  Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedDataHasValue ice,
                  Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectComplementOf ice,
                  Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectIntersectionOf ice,
                  Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor