M. Ortiz de la Fuente, D. Calvanese, T. Eiter: "Data Complexoty of Query Answering In Expressive Description Logics via Tableaux"; Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-07-07, 2007; 48 pages.