[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer Cake

To: Ontolog <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Jon Awbrey <jawbrey@xxxxxxx>
Date: Mon, 06 Aug 2007 06:16:01 -0400
Message-id: <46B6F4E1.4FC6BA95@xxxxxxx>
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o    (01)

KBL = Kathryn Blackmond Laskey
SB  = Sean Barker    (02)

KBL: The idea of a single syntax with two different
     incompatible semantics scares me.    (03)

SB: We suffer from identical syntax and allegedly identical semantics
    all the time in data exchange (ISO 10303), so I don't see why logic
    should be any difference. It's only when we ground the semantics of
    the data in the behaviour of the application/organization that we
    have any hope of success, and then only after a long and painful
    process of testing.  Even in the relatively well specified area
    of geometry, it has taken many years of effort and continuous
    testing to get a reasonably reliable exchange (though not 100%),
    and there is still a considerable amount to do.    (04)

I don't think that it's any different in logic.  Indeed, I think
that there are fundamental limitations on the capacity of syntax
to pin down semantics.  If the unavoidable freedom and thus the
uncertainty of interpretation scares us, then we need to face
it squarely and see if there is any way we can get used to it.    (05)

Jon Awbrey    (06)

inquiry e-lab: http://stderr.org/pipermail/inquiry/
¢iare: http://www.centiare.com/Directory:Jon_Awbrey
getwiki: http://www.getwiki.net/-UserTalk:Jon_Awbrey
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o    (07)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)

<Prev in Thread] Current Thread [Next in Thread>