Diego Calvanese Giuseppe De Giacomo Data Integration: A Logic-Based Perspective. 59-70 2005 26 AI Magazine 1 db/journals/aim/aim26.html#CalvaneseG05