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

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

All Implemented Interfaces:

DecompositionRuleApplicationVisitor

public class ForwardDecompositionRuleApplicationVisitor
extends Object

Used for decomposing class expressions when rules are applied forward

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

protected static org.apache.log4j.Logger

LOGGER_

Constructor Summary

ForwardDecompositionRuleApplicationVisitor(ExtendedSaturationStateWriter 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

ForwardDecompositionRuleApplicationVisitor

public ForwardDecompositionRuleApplicationVisitor(ExtendedSaturationStateWriter 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