- From: Sandro Hawke <sandro@w3.org>
- Date: Sat, 03 May 2008 17:37:59 -0400
- To: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
- Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
> ('*m' FORMULA)?
Are you confident that doesn't make the grammar (too) ambiguous? I
haven't looked at it closely, as a general language principle, it seems
better to use a terminated production, like your '<*' ... '*>', or maybe
'meta(' FORMULA ')'
But, of course, we're not getting into debating the PS. :-)
> In the XML syntax, IRIMETA can likewise be split into
> an <id>-striped Const and a <meta>-striped FORMULA.
> The stripes/roles <id> and <meta> can be XSD-specified
> as the optional initial children of <Document>, <Group>,
> <Forall>, <Implies>, <Atom>, <Equal>, etc.
FWIW, based on a quick read, I'm fine with this proposal (which probably
isn't surprising.) I'm a little nervous that it has Group but not Rule,
but since you can put the metadata on whatever would be inside the Rule
element, I'm okay with it.
- s
Received on Saturday, 3 May 2008 21:39:52 UTC