preliminary support for DL queries with complex class expressions
through incremental reasoning. Some issues are still left (change
loaders get lost sometimes, auxiliary class expressions may appear in
the result)