Is it possible to load my RDF file with rdflib and convert it into an hdt document, and eventually save it as a file?