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

Re: [RIF-APS] Rules Sign

From: Chris Welty <cawelty@gmail.com>
Date: Tue, 02 Sep 2008 08:32:19 -0400
Message-ID: <48BD3253.2010801@gmail.com>
To: Adrian Paschke <adrian.paschke@biotec.tu-dresden.de>
CC: public-rif-wg@w3.org


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 reverted ==> -->
> 
>  
> 
> -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 12:33:04 GMT

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