Re: BLD: two issues with the BNF

On Fri, 11 Jul 2008 08:57:51 +0200
Jos de Bruijn <debruijn@inf.unibz.it> wrote:

> >>>> I uncovered two issues with the BNF in BLD.  For me they are not 
> >>>> critical for last call, but for some they might be.
> >>> Jos,
> >>> thanks for uncovering these inconsistencies.
> >>>
> >>>> The first issue is an error: Profile is not a Unicode string in the 
> >>>> presentation syntax, but it is a term (see section 2.4).
> >>> Yes, this is how it is defined in the math syntax, but EBNF is not consistent
> >>> with this. But looking at your SWC, your profiles are not terms either. They
> >>> are not even constants! 
> >> Actually, they are.  But I'm using the shortcut syntax for absolute IRIs 
> >> using the <> delimiters.
> > 
> > In the table http://www.w3.org/2005/rules/wiki/SWC#Profiles_of_Imports
> > you are not using constants, but unicode strings.
> > We'll change the ebnf to make it consistent, but you should also fix your table.
> 
> I think the table is okay.  It just lists a bunch of IRIs, but does not 
> tell you how to write them down.
> Section 5.2 talks about how they're written down, and there you can see 
> that the limiters are used.


It certainly confused me and Harold, so I think uu should use real constants as the profile names.

m

Received on Friday, 11 July 2008 16:35:24 UTC