Uses of Interface
org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion

Packages that use Conclusion

org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context

Uses of Conclusion in org.semanticweb.elk.reasoner.saturation

Methods in org.semanticweb.elk.reasoner.saturation that return Conclusion

Conclusion

ContextImpl.takeToDo()

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type Conclusion

boolean	ContextImpl.addToDo(Conclusion conclusion)
void	BasicSaturationStateWriter.produce(Context context, Conclusion conclusion)

Uses of Conclusion in org.semanticweb.elk.reasoner.saturation.conclusions

Classes in org.semanticweb.elk.reasoner.saturation.conclusions that implement Conclusion

class	AbstractConclusion
class	BackwardLink A Conclusion representing derived existential restrictions from a source Context to this target Context.
class	Contradiction
class	DisjointnessAxiom
class	ForwardLink A Conclusion representing derived existential restrictions from this source Context to a target Context.
class	NegativeSubsumer A Subsumer, for which the structure of the enclosed IndexedClassExpression should not be taken into account when applying the rules within Context.
class	PositiveSubsumer A Subsumer, for which the structure of the enclosed IndexedClassExpression should be taken into account.
class	Propagation
class	Subsumer A Conclusion representing a subsumer IndexedClassExpression of the root of the Context for which it is produced.

Uses of Conclusion in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context that return Conclusion

Conclusion

Context.takeToDo() Removes and returns one of the unprocessed Conclusions of this context.

Methods in org.semanticweb.elk.reasoner.saturation.context with parameters of type Conclusion

boolean

Context.addToDo(Conclusion conclusion) Adds the given Conclusion to be processed within this Context.