incremental taxonomy computation stages: moved the code for deciding
which computation to use (incremental / non-incremental) to the
ReasonerState; some small fixes
incremental consistency checking: do not run if no context was created
optimized changes initialization (datastructures should be
re-initialized instead of cleared) and additions / deletions of the same
changes