Render totalResults in RDF as JSON. [paul][gavin]