After a bit of delay, I want to discuss some new optimizations for queries with undistinguished variables that are being implemented in the new Pellet query engine. For simplicity, I consider just connected conjunctive ABox queries with undistinguished variables. The current Pellet query engine evaluates the queries with undistinguished variables as follows: the query is rolled-up to each disti ... Continue reading