Franz Baader Meghyn Bienvenu Carsten Lutz Frank Wolter Query Answering over DL ABoxes: How to Pick the Relevant Symbols. 2009 Description Logics http://ceur-ws.org/Vol-477/paper_29.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#BaaderBLW09