W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2008

AW: [RIF-APS] Rules Sign

From: Adrian Paschke <adrian.paschke@biotec.tu-dresden.de>
Date: Tue, 2 Sep 2008 14:46:08 +0200
To: "'Chris Welty'" <cawelty@gmail.com>
Cc: <public-rif-wg@w3.org>
Message-Id: <20080902134612.1B23A70000E3@mailserver.biotec.tu-dresden.de>

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


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

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Tuesday, 2 September 2008 13:46:52 GMT

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