Dl-lite: Practical reasoning for rich dls (0)

by D Calvanese, G D Giacomo, M Lenzerini, R Rosati, G Vetere
Venue:In Description Logics, 2004. tel-00542801, version 1 - 3 Dec 2010