org.semanticweb.elk.reasoner.saturation.conclusions
Class PositiveSubsumer

java.lang.Object
  org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer
      org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer

All Implemented Interfaces:

Conclusion

public class PositiveSubsumer
extends Subsumer

A Subsumer, for which the structure of the enclosed IndexedClassExpression should be taken into account. That is, in addition to composition rules stored with this IndexedClassExpression , the so-called decomposition rule, which takes into account the topmost constructor of this IndexedClassExpression, should be applied.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Constructor Summary

PositiveSubsumer(IndexedClassExpression superClassExpression)

Method Summary

<R> R	accept(ConclusionVisitor<R> visitor, Context context)
void	apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)

Methods inherited from class org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer

applyCompositionRules, getExpression, getSourceContext, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

PositiveSubsumer

public PositiveSubsumer(IndexedClassExpression superClassExpression)

Method Detail

apply

public void apply(BasicSaturationStateWriter writer,
                  Context context,
                  RuleApplicationVisitor ruleAppVisitor,
                  DecompositionRuleApplicationVisitor decompVisitor)

accept

public <R> R accept(ConclusionVisitor<R> visitor,
                    Context context)