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

by Diego Calvanese, G. De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Venue:J. OF AUTOMATED REASONING