François Goasdoué Marie-Christine Rousset Compilation and Approximation of Conjunctive Queries by Concept Descriptions. 2002 conf/dlog/2002 Description Logics http://www.cs.man.ac.uk/dl2002/review/camera-ready/mcrusset.ps db/conf/dlog/dlog2002.html#GoasdoueR02