[Top] [All Lists]

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

To: Kathryn Blackmond Laskey <klaskey@xxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 3 Aug 2007 15:01:17 -0500
Message-id: <p0623090cc2d936fb9b02@[]>
>The idea of a single syntax with two different incompatible semantics
>scares me.    (01)

Try reading this aloud (from "Mot d'heure: 
gousse, rames", which every English/French 
speaker should be required to read aloud to an 
audience of his or her peers):    (02)

"Un petit d'un petit
S'étonne au hall
Un petit d'un petit
Ah! degrés de falles!
Un dol de qui ne sort cesse
Un dol de qui ne se mène
Qu'importe un petit d'un petit
Tout Gai de Reguennes."    (03)

Pat    (04)

PS. If you don't read French, see 
http://en.wikipedia.org/wiki/Humpty_Dumpty#Application_in_cognitive_science    (05)

PPS. More seriously, this 1-syntax 2-semantics 
situation has already cropped up and caused 
problems for interoperation (in the IKRIS 
project). If one takes FOL (or CL) and a 
syntactic extension of it to a context or modal 
logic, then the extended language has a subset 
which is syntactically identical to FOL but whose 
meaning no longer conforms to FOL semantics. If 
it were a tensed modal logic, for example, then 
the non-modal syntactic subset corresponds to a 
description of what is true "now", i.e. in the 
temporal present of a temporal possible-world 
semantics, while the original untensed FOL 
describes a timeless notion of truth in a single 
possible world.    (06)

>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
>    (07)

IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (08)

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    (09)

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