RFE: formal N3 grammar

The orignal description of N3
  http://www.w3.org/DesignIssues/Notation3

had a semi-formal BNF grammar. As
of v1.97 2004/04/16 15:13:48, the grammar
was split out to
http://www.w3.org/2000/10/swap/grammar/n3-report.html
with subsets
http://www.w3.org/2000/10/swap/grammar/n3rdf-report.html
http://www.w3.org/2000/10/swap/grammar/n3rules-report.html

meanwhile, a number of other grammars and gramar-generated
parsers have been developed (noted in Notation3).

My favorite is...
  http://www.w3.org/2000/10/swap/rdfn3-gram.html

We have had various discussions about finishing this
grammar work; for example,
  http://www.w3.org/2004/01/20-swad-whiteboard

This bug is intended to track/capture that goal.

In particular, what we'd like is a formal grammar
that's somehow machine-checked against all the N3 tests.

Related bugs include

2002-02-17T17:32:53Z raised: Notation3: The Great QName Survey
http://www.w3.org/mid/004d01c1b7d9$23238080$61be0150@localhost

2002-07-15T15:03:29Z raised: Minus sign in ids Was: Alternative N3
Parsers for CWM
http://www.w3.org/mid/01f901c22c10$c8330180$84001d12@w3.org

2004-05-04T09:39:34Z raised: qnames with - in cwm
http://www.w3.org/mid/20040504103934.1f962a3b@hoth.ilrt.bris.ac.uk

2004-05-04T10:10:32Z raised: Trailing ; in N3 property lists forbidden
http://www.w3.org/mid/20040504111032.0fafec1c@hoth.ilrt.bris.ac.uk


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Thursday, 10 June 2004 17:22:14 UTC