Jean-François Baget Michel Leclère Marie-Laure Mugnier Eric Salvat DL-SR: a Lite DL with Expressive Rules: Preliminary Results. 2008 Description Logics http://ceur-ws.org/Vol-353/BagetLeclereMugnierSalvat.pdf conf/dlog/2008 db/conf/dlog/dlog2008.html#BagetLMS08