org.semanticweb.elk.reasoner.saturation.conclusions

Class Subsumer

java.lang.Object

org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer

All Implemented Interfaces:

Conclusion

Direct Known Subclasses:

NegativeSubsumer, PositiveSubsumer

public abstract class Subsumer
extends Object
implements Conclusion

A Conclusion representing a subsumer IndexedClassExpression of the root of the Context for which it is produced. Intuitively, if a subclass axiom SubClassOf(:A :B) is derived by inference rules, then a Subsumer corresponding to :B can be produced for the context with root :A

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Constructor Summary

Constructors

Constructor and Description
Subsumer(IndexedClassExpression expression)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	applyCompositionRules(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
IndexedClassExpression	getExpression()
Context	getSourceContext(Context contextWhereStored)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion

accept

Constructor Detail

Subsumer

public Subsumer(IndexedClassExpression expression)

Method Detail

getExpression

public IndexedClassExpression getExpression()

Returns:

the IndexedClassExpression represented by this Subsumer

toString

public String toString()

Overrides:

toString in class Object

applyCompositionRules

protected void applyCompositionRules(BasicSaturationStateWriter writer,
                         Context context,
                         RuleApplicationVisitor ruleAppVisitor)

getSourceContext

public Context getSourceContext(Context contextWhereStored)

Specified by:

getSourceContext in interface Conclusion

Returns:

The context which this conclusion is logically relevant for, or null if none