Tractable reasoning and efficient query answering in description logics: The DL-Lite family (0)

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