Re: BLD: two issues with the BNF

Michael Kifer wrote:
> 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.

Okay, I changed the tables.

Best, Jos

> 
> m

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
If knowledge can create problems, it is not
through ignorance that we can solve them.
   - Isaac Asimov

Received on Friday, 11 July 2008 16:47:33 UTC