fixing html bugs
authorPaul Groth <p.t.groth@vu.nl>
Mon, 04 Mar 2013 20:36:25 +0100
changeset 5876 6ce45a4f1b45
parent 5875 98e3419ef887
child 5877 14f39ea500c0
fixing html bugs
paq/prov-aq.html
--- a/paq/prov-aq.html	Mon Mar 04 20:34:54 2013 +0100
+++ b/paq/prov-aq.html	Mon Mar 04 20:36:25 2013 +0100
@@ -888,7 +888,7 @@
                     &lt;http://www.w3.org/ns/formats/SPARQL_Results_XML&gt; ,
                     &lt;http://www.w3.org/ns/formats/SPARQL_Results_JSON&gt; ,
                     &lt;http://www.w3.org/ns/formats/SPARQL_Results_CSV&gt; ,
-                    &lt;http://www.w3.org/ns/formats/SPARQL_Results_TSV&gt
+                    &lt;http://www.w3.org/ns/formats/SPARQL_Results_TSV&gt;
     .
 </pre>
         </section>
@@ -900,12 +900,12 @@
           This protocol combines the <a class="internalDFN">target-URI</a> with a supplied URI template to formulate an HTTP GET request.
         </p>
         <p>
-          Thus, if the URI template extracted from the service description is <code>http://example.com/provenance/service?target={uri}</code> and the supplied target-URI is <code>http://www.example.com/entity123</code>, the resulting HTTP request would be:
+          Thus, if the URI template extracted from the service description is <code>http://example.com/provenance/service?target={uri}</code> and the supplied target-URI is <code>http://www.example.com/entity123</code>, the resulting HTTP request would be:</p>
           <pre class="example code">
 GET /provenance/service?<b>target</b>=http%3A%2F%2Fwww.example.com%2Fentity123 HTTP/1.1
 Host: example.com
 </pre>
-        </p>
+
         <p>
           Any server that implements this protocol and receives a request URI in this form SHOULD return a provenance record for the target-URI embedded in the query component, where that URI is the result of percent-decoding [[RFC3986]] the part of the request URI corresponding to <code>{var}</code> in the URI template. E.g., in the above example, the decoded target-URI is <code>http://www.example.com/entity123</code>.  The target-URI MUST be an absolute URI, and the server SHOULD respond with <code>400 Bad Request</code> if it is not.
         </p>