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

Constructors

Constructor and Description
NegativeSubsumer(IndexedClassExpression superClassExpression)

Method Summary

Methods

Modifier and Type	Method and Description
<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)