normative definition for a prefixed name

I wanted to reference Turtles prefixed names and noticed that the
useful defintion
[[
A prefixed name is a prefix label and a local part, separated by a
colon ":". A prefixed name is turned into an IRI by concatenating the
IRI associated with the prefix and the local part
]] — http://www.w3.org/TR/turtle/#prefixed-name in §2.4
is in the non-normative section 2 of the spec. The parsing rules include
[[
  PNAME_NS    IRI    When used in a PrefixedName         
                     production, the iri is the value in 
                     the namespaces map corresponding to 
                     the first argument of the rule.     
]]
, which is sort of a denotational semantics.

So what should one reference for the definition for a prefixed name?
-- 
-ericP

office: +1.617.599.3509
mobile: +33.6.80.80.35.59

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

There are subtle nuances encoded in font variation and clever layout
which can only be seen by printing this message on high-clay paper.

Received on Tuesday, 19 November 2013 13:12:12 UTC