Package org.semanticweb.elk.reasoner.incremental

Interface Summary

Interface	Description
NonIncrementalChangeListener<T>	TODO doc

Class Summary

Class	Description
IncrementalChangesInitialization	Goes through the input class expressions and puts each context's superclass for which there're changes into the ToDo queue
IncrementalProcessingStatistics

Enum Summary

Enum	Description
IncrementalStages