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

Re: [BLD] My BLD review - amendment

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Mon, 18 May 2009 22:33:30 -0400
To: Axel Polleres <axel.polleres@deri.org>
Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-ID: <20090518223330.6394f9c1@kiferserv>


On Sun, 17 May 2009 20:46:52 +0100
Axel Polleres <axel.polleres@deri.org> wrote:

> small amendment regarding
> 
> http://www.w3.org/2005/rules/wiki/BLD#def-bld-semantic-multistruct
> 
> I overlooked that before, but now when I reviewed SWC I stumbled over 
> this again...
> 
> BLD multistructures are defined as a "set"
> 
>   {J,I; I_i1, I_i2, ...}
> 
> I a bit lost here, what is the ";" in the set definition here

It separates I,J from the rest. I and J are not adorned, while the remaining
structures are adorned. I think this visual separation is useful.

> and
> what is the difference here between I and J ?
> 
> It seems that J serves to interpret non-document formulas whereas
> I,  I_i1, I_i2 ... serve to interpret a document formula plus its 
> imported document formulas. Anyways, honestly, I am confused a bit here 
> and the intuition should be made a bit clearer, if possible.

You are right. This needed further clarifications. Pls see if it looks better
now.

-- 
    -- michael
Received on Tuesday, 19 May 2009 02:34:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT