Data Sciences: From First-Order Logic to the Web: Inaugural lecture given on Thursday 8 March 2012