separating the class taxonomy and the instance taxonomy. The latter no
longer extends the former but incapsulates it. Removing all
getTaxonomy() methods from all node interfaces.
should have been in the previous commit
fixing the random walk ABox test. properly looking for existing
individual nodes in the instance taxonomy in getCreateInstanceNode
avoiding the unchecked cast during init of the instance taxonomy at the
expense of creating both class and instance taxonomies at the same time.
Then the instance taxonomy gets a specific implementation of the class
taxonomy.
reverting the number of iterations and rounds to the normal values
finally, class and instance taxonomies fully separated. now, this shiny
new stuff needs testing.
the new implementation of ConcurrentInstanceTaxonomy, which can properly
incapsulate any class taxonomy, passes our unit tests
avoid using specific implementation classes when init'ing the class and
the instance taxonomy states. incremental class taxonomy computation
stage no longer a subclass of the class taxonomy computation stage
implemented instance taxonomy cleaning for incremental ABoxes. Now it
passes our basic tests but more are needed.
added some simple low-level test for incremental aboxes and fixed the
bugs that they had revealed
TeaxonomyCleaning fixed to not delete nodes whose super-nodes got
deleted (a bug revealed on the big galen)
reverting the initial seed
Merge branch 'feature/incremental-aboxes'