Partitioning of RDF graphs