Conjunctive ABox query ：Query answering is yet another
important feature for Semantic Web. We have implemented
an ABox query answering module in Pellet using
the so-called “rolling-up” technique [Horrocks and Tessaris,
2002]. We have devised algorithms to optimize the
query answering by changing how likely candidates for
variables are found and verified. Exploiting the dependencies
between different variable bindings helps us to reduce
the total number of satisfiability tests, thus speeding up the
query significantly.

请那位大虾讲解一下，谢谢！