Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Tractable Reasoning and Efficient Query Answering in Description Logics: The ::::DL-Lite:::: Family. Journal of Automated Reasoning, 39(3):385-429, 2007. [doi]
Abstract is missing.