DL-Lite in the Light of First-Order Logic.

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

Browse the full AAAI paper archive.