Giuseppe De Giacomo Maurizio Lenzerini Riccardo Rosati Towards Higher-Order DL-Lite. 2008 Description Logics http://ceur-ws.org/Vol-353/DeGiacomoLenzeriniRosati.pdf conf/dlog/2008 db/conf/dlog/dlog2008.html#GiacomoLR08