Giuseppe De Giacomo ACM Fellows (2015) ACM Fellows Italy - 2015 citation For contributions to description logics, data management, and verification of data-driven processes