I was wondering is there a way/work that focuses only on those axioms that are needed to answer the query and based on this rewrite the query, instead of finding the whole TBox closure? Mostly the work that I have come across related to query rewriting uses the whole TBox closure. Here is one of the references for Query Rewriting. Is it even possible without the whole TBox closure or I am missing something?

Thank you!