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 20:33:01 -0400
Message-ID: <48BDDB3D.1020004@gmail.com>
To: kifer@cs.sunysb.edu
CC: Christian de Sainte Marie <csma@ilog.fr>, Jos de Bruijn <debruijn@inf.unibz.it>, Adrian Paschke <adrian.paschke@biotec.tu-dresden.de>, public-rif-wg@w3.org


Michael Kifer wrote:
>> As I just said, I'm *not* arguing that -> be used for implication, however.  I 
>> just don't want the standard implication symbol used for slots and named 
>> arguments.  It's confusing to anyone familiar with logic.
> 
> Regarding "anyone", please speak for yourself. It is presumptuous of you to
> make such a claim. In particular, it implies that, say, Hassan and I are not
> familiar with logic. Maybe all of us are suckers who are not as much familiar
> with logic as you do, but it would not hurt you to be a bit more humble.

Ouch.  Advice that would be well heeded by many.

-Chris


> 
> michael
> 
>> <chair>
>>
>> -Chris
>>
>> Michael Kifer wrote:
>>> On Tue, 02 Sep 2008 18:45:40 +0200
>>> Christian de Sainte Marie <csma@ilog.fr> wrote:
>>>
>>>> Michael Kifer wrote:
>>>>
>>>>> On Tue, 02 Sep 2008 16:39:36 +0200
>>>>> Christian de Sainte Marie <csma@ilog.fr> wrote:
>>>>>
>>>>>
>>>>>> Why not use = for frames instead, as in obj[prop = val]?
>>>>>>
>>>>>> As I suggested on IRC during last week's telecon, that would reflect the
>>>>>> semantics that the frame is true iff the value of property 'prop' for object
>>>>>> 'obj' is equal to 'val'. 
>>>>> Such a frame is true NOT if the value is equal to val, but if the value of prop
>>>>> CONTAINS val.
>>>> Right. I forgot that. But my point about making it extensible to using other tests than equality remains.
>>> We can allow extensions that use whatever u want in between name and value.
>>> This has nothing to do with whether we use -> or hasValue, or whatever.
>>>
>>> B.t.w., the -> is not new and is well established. In this kind of languages it
>>> goes back almost 25 years to Hasan's Login, or maybe even earlier. I always
>>> thought that the use of -> comes from C and C++, where -> is used to refer to
>>> values of properties. And it is also used in SQL in some cases.
>>>
>>> So, Chris' claim that -> always evokes implication is highly subjective.
>>> It depends who you ask.
>>>
>>>
>>> michael
>>>
> 

-- 
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 Wednesday, 3 September 2008 00:33:40 GMT

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