org.semanticweb.elk.reasoner.saturation
Interface SaturationState

public interface SaturationState

Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Method Summary

Context	getContext(IndexedClassExpression ice)
Collection<Context>	getContexts()
ExtendedSaturationStateWriter	getExtendedWriter(ConclusionVisitor<?> conclusionVisitor)
ExtendedSaturationStateWriter	getExtendedWriter(ContextCreationListener contextCreationListener, ContextModificationListener contextModificationListener, RuleApplicationVisitor ruleAppVisitor, ConclusionVisitor<?> conclusionVisitor, boolean trackNewContextsAsUnsaturated) Creates a new ExtendedSaturationStateWriter for modifying this SaturationState associated with the given ContextCreationListener.
Collection<IndexedClassExpression>	getNotSaturatedContexts()
OntologyIndex	getOntologyIndex()
BasicSaturationStateWriter	getWriter(ConclusionVisitor<?> conclusionVisitor)
BasicSaturationStateWriter	getWriter(ContextModificationListener contextModificationListener, ConclusionVisitor<?> conclusionVisitor)

Method Detail

getContexts

Collection<Context> getContexts()

getContext

Context getContext(IndexedClassExpression ice)

getOntologyIndex

OntologyIndex getOntologyIndex()

getNotSaturatedContexts

Collection<IndexedClassExpression> getNotSaturatedContexts()

getExtendedWriter

ExtendedSaturationStateWriter getExtendedWriter(ContextCreationListener contextCreationListener,
                                                ContextModificationListener contextModificationListener,
                                                RuleApplicationVisitor ruleAppVisitor,
                                                ConclusionVisitor<?> conclusionVisitor,
                                                boolean trackNewContextsAsUnsaturated)

Creates a new ExtendedSaturationStateWriter for modifying this SaturationState associated with the given ContextCreationListener. If ContextCreationListener is not thread safe, the calls of the methods should be synchronized The passed rule application visitor is used to apply initialization rules to the newly created contexts

getWriter

BasicSaturationStateWriter getWriter(ContextModificationListener contextModificationListener,
                                     ConclusionVisitor<?> conclusionVisitor)

getWriter

BasicSaturationStateWriter getWriter(ConclusionVisitor<?> conclusionVisitor)

getExtendedWriter

ExtendedSaturationStateWriter getExtendedWriter(ConclusionVisitor<?> conclusionVisitor)