ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Semantic v. Pragmatic Web

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: paola.dimaio@xxxxxxxxx
Date: Sun, 7 Jun 2009 10:38:17 +0100
Message-id: <c09b00eb0906070238r1a395777v13c0be7e1e642d16@xxxxxxxxxxxxxx>


Use the mKR language to buy your pizza.


it would be good to see some mkr based web service
lots of basil on mine please


PDM
 
Dick McCullough
http://mkrmke.org
 
----- Original Message -----
From: "Sean Barker" <sean.barker@xxxxxxxxxxxxx>
To: "Ontolog-Forum-Bounces" <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Sunday, June 07, 2009 1:11 AM
Subject: [ontolog-forum] Semantic v. Pragmatic Web

> In the theoy of the sematic web, I can identify whether a particular pizza
> is the one I want to buy, and in theory I could identify if I've already
> ordered one (There exists order...), however I see no logical way of
> actually buying it. That is, holding fast to the distinction between
> semantics and pragmatics implies that semantic web must necessarily
> incomplete, because logic does not deal with performative utterenaces, such
> as "I'd like to buy a pizza".
>
> 1) Is this true?
>
> 2) If it is true, is this a design feature of the web?
>
> 3) If it is not true, how are pragmatics assert in FOL?
>
> Note: I tend to assume that it is not true on the basis of the following
> program fragment intermixing VDM and Pascal
>
> VDM:    TRUE
> Pascal: x:= 3;
> VDM:   (x = 3)
>
> That is VDM could assert pre-  and post-conditions, but was not itself
> executable. At the time I looked at this there was some discussion of
> executable specifications, but I didn't follow this up.
>
> Sean Barker
> Bristol, UK
>


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
 



--
Paola Di Maio,
****************************************


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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