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

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

All Implemented Interfaces:

Conclusion

public class NegativeSubsumer
extends Subsumer

A Subsumer, for which the structure of the enclosed IndexedClassExpression should not be taken into account when applying the rules within Context. That is, only composition rules stored with this IndexedClassExpression should be applied to NegativeSubsumers.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Constructor Summary

NegativeSubsumer(IndexedClassExpression superClassExpression)

Method Summary

<R> R	accept(ConclusionVisitor<R> visitor, Context context)
void	apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	applyDecompositionRules(Context context, 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

NegativeSubsumer

public NegativeSubsumer(IndexedClassExpression superClassExpression)

Method Detail

apply

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

applyDecompositionRules

public void applyDecompositionRules(Context context,
                                    DecompositionRuleApplicationVisitor decompVisitor)

accept

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