- From: Sandro Hawke <sandro@w3.org>
- Date: Mon, 28 Apr 2008 08:28:57 -0400
- To: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
- Cc: public-rif-wg@w3.org
> The following version of it seems to be best for Phase 1 convergence: > > 1. Allow metadata, syntactically, on four scope-like objects, via a > <meta> child element which is legal on these capitalized (class) > elements that create natural scopes: > * Document > * Group > * Forall > * Exists > No need for wrapper elements. In a normal rule, the Forall > is where you'd hang metadata. You can also give metadata to the > complementary Exists for conditions (queries and constraints). > The PS for the additional metadata-enriched elements is easy: > 'Forall' IRIMETA? Var* '(' CLAUSE ')' > 'Exists' IRIMETA? Var* '(' FORMULA ')' It seems odd to have it on Forall and Exists but not Atom and Frame, etc. Ground terms need metadata, too, don't they? My personal preference is to allow it everywhere, and have no wrapper. But I heard others, eg Jos, say that rules are conceptual entities, whatever their syntactic structure, and should have first-class existance at the management/metadata level. They may be right, and I can certainly live with having it in the language. Adding an optional <Rule> wrapper will make a lot of people happy and do no serious harm, IMHO. > 2. Keep the Group element, for making these conceptual groupings > that, > e.g., Michael speaks of (and, e.g., Sandro is familiar with from > his rule programming), where metadata apply to a set of rules). > > This works nicely for both BLD and FLD (Forall's CLAUSE becomes > FORMULA). So the proposed compromise (which Chris also sent the list - we talked about it on the phone with Christian) is to have both the <Group> and <Rule> wrappers. I'd also like metadata everywhere else, too, but I think I can life with this compromise if everyone else can. -- Sandro > > -- Harold > > > -----Original Message----- > From: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] > On Behalf Of Sandro Hawke > Sent: April 22, 2008 4:37 PM > To: public-rif-wg@w3.org > Subject: where to hang the metadata? > > > > Thinking over today's difficult discussion about metadata, it seems to > me that the right solution is this: > > 1. Allow metadata, syntactically, on every object, by way of a > <meta> child element which is legal on every capitalized (class) > element. No need for wrapper elements. In a normal rule, the > "Forall" is where you'd hang the metadata. I have some ideas for > the PS, but no favorites. > > 2. Add a "group" element, for making these conceptual groupings that > Michael speaks of (and I'm familiar with from my own rule > programming), where the metadata applies to a set of a few > rules). > > What about this approach would be so bad? > > -- Sandro
Received on Monday, 28 April 2008 12:30:40 UTC