發送短信: Parallel materialisation of datalog programs in centralised, main-memory RDF systems