updated syntax of namespace declaration
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 05 Dec 2011 12:00:11 +0000
changeset 1169 bc435f925ad1
parent 1168 d6b04ab858af
child 1170 52cab95c1564
updated syntax of namespace declaration
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Mon Dec 05 11:50:13 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Dec 05 12:00:11 2011 +0000
@@ -114,6 +114,8 @@
                 company: "University of Manchester" },
               { name: "Stephen Cresswell",
                 company: "legislation.gov.uk"},
+              { name: "Yolanda Gil",
+                company: "Invited Expert", url:"http://www.isi.edu/~gil/"},
               { name: "Ryan Golden",
                 company: "Oracle Corporation" },
               { name: "Paul Groth", url: "http://www.few.vu.nl/~pgroth/",
@@ -2460,11 +2462,11 @@
 
 <div class='grammar'>
 <span class="nonterminal">namespaceDeclarations</span>&nbsp;::=  
- |  <span class="group"><span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span></span> <span class="star"> <span class="name">,</span> <span class="nonterminal">namespaceDeclaration</span></span><br>
+ |  <span class="group"><span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span></span> <span class="star"> <span class="nonterminal">namespaceDeclaration</span></span><br>
 <span class="nonterminal">namespaceDeclaration</span>&nbsp;::=  
-<span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">IRI</span><br/>
+<span class="name">prefix</span> <span class="nonterminal">prefix</span> <span class="nonterminal">IRI</span><br/>
 <span class="nonterminal">defaultNamespaceDeclaration</span>&nbsp;::=  
- <span class="name">_:</span> <span class="nonterminal">IRI</span> <br/>
+ <span class="name">default</span> <span class="nonterminal">IRI</span> <br/>
 </div>
 </section>
 
@@ -3167,16 +3169,18 @@
 </p>
 
 <pre>
-container (app: urn:example:,
-           cr: http://example.org/crime/,
-           [acc1],
+container
+prefix app urn:example:
+prefix cr  http://example.org/crime/
+
    account(acc1,
            http://example.org/asserter1,
 
            entity(app:0, [ prov:type="Document", cr:path="http://example.org/crime.txt" ])
            entity(app:1, [ prov:type="Document", cr:path="http://example.org/crime.txt", cr:version="2.1", cr:content="...", cr:date="2011-10-07" ])
            entity(app:2, [ prov:type="Document", cr:author="John" ])
-        ...))
+        ...)
+endContainer
 </pre>
 
 <p>Each entity record contains an idenfier that identifies the entity it represents.
@@ -3185,9 +3189,9 @@
 <p>Given that the report is a resource denoted by the URI <span class="name">http://example.org/crime.txt</span>, we could simply use this URI as the identifier of an entity. This would avoid us minting new URIs.  Hence, the report URI would play a double role: as a URI it denotes a resource accessible at that URI, and as a PROV-DM identifier, it identifies a specific characterization of this report. A given identifier identifies a single entity within the scope of an account. Hence, below, all entities records have been given the same identifier but appear in the scope of different accounts. </p>
 
 <pre>
-container (app: http://example.org/,
-           cr: http://example.org/crime/,
-           [acc2, acc3, acc4],
+container 
+prefix app http://example.org/
+prefix cr  http://example.org/crime/
 
    account(acc2,
            http://example.org/asserter1,
@@ -3204,7 +3208,8 @@
    account(acc4,
            http://example.org/asserter1,
            entity(app:crime.txt, [ prov:type="Document", cr:author="John" ])
-           ...))
+           ...)
+endContainer
 </pre>
 
 <p>In this case, the qualified name  <span class="name">app:crime.txt</span> maps to URI <span class="name">http://example.org/crime.txt</span> still denotes the same resource; however, the perspective we take about that resource is expressed as a different entity record, happening to have the same identifier in different accounts. </p>
@@ -3212,11 +3217,10 @@
 <p> Alternatively, if we need to assert the existence of two different perspectives on the report within the same account, then alternate identifiers MUST be used, one of them being allowed to be the resource URI.</p>
 
 <pre>
-container (app: http://example.org/,
-           app2: urn:example:,
-           cr: http://example.org/crime/,
-
-           [acc5],
+container 
+ prefix app  http://example.org/
+ prefix app2 urn:example:
+ prefix cr   http://example.org/crime/
 
    account(acc5,
            http://example.org/asserter1,
@@ -3224,7 +3228,8 @@
            entity(app:crime.txt, [ prov:type="Document", cr:path="http://example.org/crime.txt" ])
            entity(app2:1, [ prov:type="Document", cr:path="http://example.org/crime.txt", cr:version="2.1", cr:content="...", cr:date="2011-10-07" ])
 
-           ...))
+           ...)
+endContainer
 
 </pre>