Corso di Dottorato: Knowledge mining and Semantic Models: from Cloud to Smart City, UNIFI DIST 2015