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 My proposal is to *change* -> to be used for implication and not frames, and instead use :: for frames. Then add <- => and <=. The extra - and = is ridiculous. > > I believe Chris wants to change this. > In any case, we cannot use ::, because it is already used for > classification. ## is used for classification. -Chris > > 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 >>> >>> >>> >>> >>> >>> >>> >>> > -- 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/weltyReceived on Tuesday, 2 September 2008 14:25:20 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:54 GMT