Re: AW: [RIF-APS] Rules Sign

Chris Welty wrote:
> 
> </chair>
> I moved the full BLD PS EBNF into the APS document and made a few
> changes that I prefer for presentation, in particular I changed:
> 
> Syntax for named arguments to use '('Name  TERM)')' instead of (Name
> '->' TERM)
> Syntax for frames to use TERM '::' TERM instead of TERM '->' TERM

This is actually a good idea.  It helps to distinguish named arguments
from frames, and will hopefully avoid confusion .

> Syntax for member to use TERM 'TY' TERM instead of TERM '#' TERM
> Syntax for subclass to us TERM 'SC' TERM instaed of TERM '##' TERM
> 
> TY is a mnemonic for "type", SC for "subclass"

I'm not convinced about TY, because it's not an abbreviation.  We might
write "type" or use "A" (short for "is a", like in N3, where it's an
abbreviation for rdf:type)

Best, Jos

> 
> These simple changes make the APS much more readable for me.  It still
> needs to be cleaned up some.  Probably ANGLEBRACKIRI can be dropped and
> replaced with IRI_REF.
> 
> All the references to external grammars should be included for
> convenience, again we want people to be able to e.g. print out the
> grammar page and use it as a guide for writing rules or implementing
> parsers.
> 
> I'm not able to figure out what IRICONST is, I think syntactically its
> just IRI.
> <chair>
> 
> -Chris
> 
> Jos de Bruijn wrote:
>>
>> Adrian Paschke wrote:
>>> Chris,
>>>
>>>
>>> :: will not work since it can not be inverted, i.e. you can not
>>> distinguish
>>> "body :: head" or "head :: body".
>>> <== and <-- might be inverted ==> -->
>>>
>>> -> is already used for frames
>>
>> I believe Chris wants to change this.
>> In any case, we cannot use ::, because it is already used for
>> classification.
>>
>> Best, Jos
>>
>>>
>>> - Adrian
>>>
>>>
>>> -----Ursprüngliche Nachricht-----
>>> Von: public-rif-wg-request@w3.org
>>> [mailto:public-rif-wg-request@w3.org] Im
>>> Auftrag von Chris Welty
>>> Gesendet: Dienstag, 2. September 2008 14:32
>>> An: Adrian Paschke
>>> Cc: public-rif-wg@w3.org
>>> Betreff: Re: [RIF-APS] Rules Sign
>>>
>>>
>>>
>>> I suggest using these two-character symbols for implication: -> <- => <=
>>> then replace all -> with :: (or any other sequence of characters
>>> would be
>>> better).
>>>
>>> -Chris
>>>
>>> Adrian Paschke wrote:
>>>> Hello,
>>>>
>>>>  
>>>>
>>>> With respect to the abridged presentation syntax there is still an open
>>>> issue about the sign to distinguish the head and the body of a rule.
>>>>
>>>>  
>>>>
>>>> Currently, we use ":-" in the examples e.g. in UCR and PRD, which is
>>>> well-known in the logic community but not so much in others including
>>>> production rules.
>>>>
>>>>  
>>>>
>>>> I shortly discussed this issue with the BLD/FLD editors Michael and
>>>> Harold
>>>> and we came up with this unambiguous proposal to distinguish classical
>>>> implication and rules head and body.
>>>>
>>>>  
>>>>
>>>> <== for PRD and BLD
>>>>
>>>> <-- for classical
>>>>
>>>>  
>>>>
>>>> <== and <-- might be also inverted ==> -->
>>>>
>>>>  
>>>>
>>>> -Adrian
>>>>
>>>>  
>>>>
>>>>  
>>>>
>>>>  
>>>>
>>>>
>>
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster