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