- From: Alex Milowski <alex@milowski.com>
- Date: Wed, 15 May 2013 20:02:05 -0700
- To: Sandro Hawke <sandro@w3.org>
- Cc: Gavin Carothers <gavin@carothers.name>, "Eric Prud'hommeaux" <eric@w3.org>, "public-rdf-comments@w3.org" <public-rdf-comments@w3.org>
- Message-ID: <CABp3FNJV0HspWmjKa3WcPThu7D=heX_6FCkV4UrdUQGYfuK2AA@mail.gmail.com>
That would certainly work for me. If this isn't a desired feature, and I'm at a loss as to why it would be wanted, then no changes are needed to the grammar. On Wed, May 15, 2013 at 7:57 PM, Sandro Hawke <sandro@w3.org> wrote: > On 05/15/2013 10:44 PM, Gavin Carothers wrote: > > I have no idea. We're the ones who wrote the example Sandro ;) ... eric? > > > Oh. Then lets just fix the example, adding a ":a :b" in front of the > list, yes? > > - s > > > RDF collections can be nested and can involve other syntactic forms: > > @prefix : <http://example.org/stuff/1.0/> . > (1 [:p :q] ( 2 ) ) . > > is syntactic sugar for: > > @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . > _:b0 rdf:first 1 ; > rdf:rest _:b1 . > _:b1 rdf:first _:b2 . > _:b2 :p :q . > _:b1 rdf:rest _:b3 . > _:b3 rdf:first _:b4 . > _:b4 rdf:first 2 ; > rdf:rest rdf:nil . > _:b3 rdf:rest rdf:nil . > > > > > On Wed, May 15, 2013 at 7:34 PM, Sandro Hawke <sandro@w3.org> wrote: > >> On 05/15/2013 07:41 PM, Alex Milowski wrote: >> >> I ran across a problem while implementing a Turtle parser. >> >> In section 3 of [1], the 7th example is: >> >> @prefix : <http://example.org/stuff/1.0/> . >> (1 [:p :q] ( 2 ) ) . >> >> >> (unofficial reply, trying to clarify) >> >> Why would you want a turtle file that's just a list? How would you use >> that? >> >> -- Sandro >> >> >> The production for triples in section 6.5 is: >> >> [6] triples ::= subject predicateObjectList | blankNodePropertyList >> predicateObjectList? >> [7] predicateObjectList ::= verb objectList (';' (verb objectList)?)* >> [10] subject ::= iri | BlankNode | collection >> >> According to these productions, the example is invalid. The subject >> reduces to the collection and must be followed by a verb. Yet, the example >> does not have a following predicate object list. >> >> If this is truly suppose to be valid, I think the productions need to >> be: >> >> triples ::= subject predicateObjectList | >> collection predicateObjectList? | >> blankNodePropertyList predicateObjectList? >> subject ::= iri | BlankNode >> >> BTW, it would be a wonderful editorial change to number the examples. >> >> [1] http://www.w3.org/TR/2013/CR-turtle-20130219/ >> >> -- >> --Alex Milowski >> "The excellence of grammar as a guide is proportional to the paucity of >> the >> inflexions, i.e. to the degree of analysis effected by the language >> considered." >> >> Bertrand Russell in a footnote of Principles of Mathematics >> >> >> > > -- --Alex Milowski "The excellence of grammar as a guide is proportional to the paucity of the inflexions, i.e. to the degree of analysis effected by the language considered." Bertrand Russell in a footnote of Principles of Mathematics
Received on Thursday, 16 May 2013 03:02:36 UTC