Binary file model/images/Derivation.png has changed
--- a/model/images/Derivation.svg Tue Mar 27 20:36:58 2012 -0400
+++ b/model/images/Derivation.svg Wed Mar 28 09:18:28 2012 +0100
@@ -45,12 +45,12 @@
inkscape:pageopacity="0"
inkscape:pageshadow="2"
inkscape:window-width="1280"
- inkscape:window-height="978"
+ inkscape:window-height="1001"
id="namedview180"
showgrid="false"
inkscape:zoom="1.1135289"
- inkscape:cx="589.92599"
- inkscape:cy="164.20391"
+ inkscape:cx="591.27306"
+ inkscape:cy="162.40782"
inkscape:window-x="1280"
inkscape:window-y="0"
inkscape:window-maximized="1"
@@ -112,15 +112,14 @@
inkscape:export-ydpi="79.550438">
id</text>
<text
- font-family="Lucida Grande"
font-size="13"
x="451"
y="190"
id="text14"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Derivation.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438">
-attrs</text>
+ inkscape:export-ydpi="79.550438"
+ style="font-size:13px;font-family:Lucida Grande">attributes</text>
<rect
fill="#000000"
height="1"
--- a/model/prov-n.html Tue Mar 27 20:36:58 2012 -0400
+++ b/model/prov-n.html Wed Mar 28 09:18:28 2012 +0100
@@ -1644,6 +1644,20 @@
<p><b>Note:</b>The productions for <span class="nonterminal">qualifiedName</span> and <span class="nonterminal">intLiteral</span> are conflicting. In the context of a <span class="nonterminal">Literal</span>, a parser should give precedence to the production for <span class="nonterminal">intLiteral</span>.
</p>
+<div class="note">
+Wouldn't it be useful to introduce a literal for a qualified name?
+Currenlty, we have to write:
+<pre>
+prov:type="ex:Programmer" %% xsd:QName
+</pre>
+to indicate that ex:Programmer should be interpreted as qualified name (QName).
+Instead, we could have a notation such as
+<pre>
+prov:type='ex:Programmer'
+</pre>
+
+</div>
+
<section id="expression-types">
<h4>Reserved Type Values</h4>