Tools for encoding/decoding RDF triples in URLs