- 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>
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 UTC