Extensions to RDF serialization