Description logics for information integration (2002)

by D Calvanese, G De Giacomo, M Lenzerini
Venue:In Computational Logic: Logic Programming and Beyond