W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2008

Re: Identification and Metadata at Any Level

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>
Message-ID: <16202.1209850679@ubuhebe>


>    ('*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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:44 UTC