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

by Diego Calvanese, Guiseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Venue:J. of Automated Reasoning