Package org.semanticweb.elk.reasoner.saturation.context

Interface Summary

Interface	Description
Context	An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.

Class Summary

Class	Description
ContextStatistics	Keeps statistics about the number of created and modified contexts