Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012)