a listener, some wrappers, and some code re-org to receive notifications
inside the reasoner if the indexer indexes some axiom which can't be
incorporated incrementally (untested)
new transitivity axioms should also abandon incremental updates
a javadoc tweak
removing the logged error which should be an error at all
dynamic incremental mode switching, getting rid of some not needed axiom
loaders, some refactoring. some tests fail
a test showing that role need to be re-saturated even if no role axiom
was added, just because some roles could be new
if the role isn't saturated yet, getSubProperties must still include
itself
some commented block removed
a small test to check that we unlink contexts correctly
resolving the bug with removing the context which is the first in the
linked list stored in the saturation state