Meghyn Bienvenu Thomas Eiter Carsten Lutz Magdalena Ortiz Mantas Simkus Query Answering in the Description Logic S. 2010 Description Logics http://ceur-ws.org/Vol-573/paper_20.pdf conf/dlog/2010 db/conf/dlog/dlog2010.html#BienvenuELOS10