發送短信: Materialisation and data partitioning algorithms for distributed RDF systems