--- a/model/ProvenanceModel.html	Mon Nov 07 12:43:25 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Nov 07 22:07:29 2011 +0000
@@ -2160,9 +2160,41 @@
 <section id="record-literal">
 <h4>Literal</h4>
 
-Literals represent data values such as particular string or integers.
-
-<div class='note'>It is proposed to use the definition of OWL2 Literal [[!OWL2-SYNTAX]]
+<p>
+A PROV-DM Literal represents a data value such as a particular string
+or number.  A PROV-DM Literal is a "leaf" value, since it does not
+refer to any other PROV-DM construct. Among the PROV-DM Literals, we
+find URIs allowing outgoing relations to resources outside the scope
+of PROV-DM.
+</p>
+
+<p>In PROV-ASN, a Literal's text matches the <span class="nonterminal">Literal</span> production of the grammar defined in this specification document.</p>
+
+<div class='grammar'>
+<span class="nonterminal">Literal</span> &nbsp;:= <span class="nonterminal">typedLiteral</span> | <span class="nonterminal">stringLiteralNoLanguage</span> | <span class="nonterminal">stringLiteralWithLanguage</span></br>
+<span class="nonterminal">typedLiteral</span> := <span class="nonterminal">quotedString</span> <span class="name">^^</span> <span class="nonterminal">Datatype</span></br>
+<span class="nonterminal">stringLiteralNoLanguage</span> := <span class="nonterminal">quotedString</span></br>
+<span class="nonterminal">stringLiteralWithLanguage</span> := <span class="nonterminal">quotedString</span> <span class="nonterminal">languageTag</span></br>
+<span class="nonterminal">Datatype</span> := <span class="nonterminal">IRI</span></br>
+
+<span class="nonterminal">languageTag</span> := <em>@ (U+40) by followed a nonempty sequence of characters matching the langtag production from [[!BCP47]]</em>
+</div>
+
+
+
+<p>
+The following examples respectively are the string "abc", the string "abc" with language english, the string "abc", the integer number "1", and the URI "http://example.org/foo"
+<pre class="example">
+  "abc"
+  "abc"@en
+  "abc"^^xsd:string
+  "1"^^xsd:int
+  "http://example.org/foo"^^xsd:anyURI
+</pre>
+
+
+
+<div class='note'>Should we define structural equivalence of literals as in OWL2? [[!OWL2-SYNTAX]]
 (see section <a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Literals">Literals</a>).
 </div>