org.semanticweb.elk.reasoner.saturation

Interface ExtendedSaturationStateWriter

All Superinterfaces:

BasicSaturationStateWriter

public interface ExtendedSaturationStateWriter
extends BasicSaturationStateWriter

The extended writer for situations when new contexts may need to be created/initialized or removed. With every ExtendedSaturationStateWriter one can register a ContextCreationListener that will be executed every time this ExtendedSaturationStateWriter creates a new Context. Although all functions of this ExtendedSaturationStateWriter are thread safe, the function of the ContextCreationListener might not be, in which the access of functions of ExtendedSaturationStateWriter should be synchronized between threads.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Method Summary

Methods

Modifier and Type	Method and Description
Context	getCreateContext(IndexedClassExpression root)
void	initContext(Context context)
void	removeContext(Context context)

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

clearNotSaturatedContexts, getOwlNothing, getOwlThing, markAsNotSaturated, pollForActiveContext, produce, resetContexts

Method Detail

getCreateContext

Context getCreateContext(IndexedClassExpression root)

initContext

void initContext(Context context)

removeContext

void removeContext(Context context)