splitting the low-level tbox and abox tests; adding a
getInstanceTaxonomyQuietly method to the reasoner state
remove unnecessary try-catch
setting up incremental ABox tests, some refactoring to re-use as much
code as possible
fixed the incremental change loader which must always add axioms and
only then delete them. various other tweaks