François Goasdoué, Marie-Christine Rousset: Compilation and Approximation of Conjunctive Queries by Concept Descriptions. Description Logics 2002