DL-Lite in the Light of First-Order Logic

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. DL-Lite in the Light of First-Order Logic. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. pages 361-366, AAAI Press, 2007.

Abstract

Abstract is missing.