Towards Higher-Order DL-Lite
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/GiacomoLR08,
author = {Giuseppe De Giacomo and
Maurizio Lenzerini and
Riccardo Rosati},
title = {Towards Higher-Order DL-Lite},
booktitle = {Description Logics},
year = {2008},
ee = {http://ceur-ws.org/Vol-353/DeGiacomoLenzeriniRosati.pdf},
crossref = {DBLP:conf/dlog/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
