Magdalena Ortiz Diego Calvanese Thomas Eiter Data Complexity of Query Answering in Expressive Description Logics via Tableaux. 61-98 2008 41 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-008-9102-9 db/journals/jar/jar41.html#OrtizCE08