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

by D Calvanese, G De Giacomo, M Lenzerini, R Rosati, G Vetere
Venue:In Proc. of the 2004 Description Logic Workshop (DL 2004), volume 104 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-104/. Calvanese