M.: DL-Lite in the light of firstorder logic (2007)

by A Artale, D Calvanese, R Kontchakov, Zakharyaschev
Venue:In: Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007