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

Constructors

Constructor and Description
PositiveSubsumer(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, 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)