DL-Lite in the light of first-order logic (2007)

by A Artale, D Calvanese, R Kontchakov, M Zakharyaschev
Venue:In Proc. AAAI