ontolog-forum
[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@[10.100.0.67]>
>
>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)

>K
>
>_________________________________________________________________
>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>