Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (2007)

by D Calvanese, G D Giacomo, D Lembo, M Lenzerini, R Rosati
Venue:Journal of Automated Reasoning