[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Sun, 7 Jun 2009 09:15:08 -0700
Message-id: <EAD6AFD802AF45D886415736DC8D383D@rhm8200>

mKR/mKE is not yet available as a web service,
but you can order pizza from your PC using this
mKR method
# KEHOME/test/buy.html
# Jun/7/2009
buy is method with
    format = [product:1],
    meaning = {
    let browser = C:/Program Files/Internet Explorer/iexplore.exe;
    let google = 'http://www.google.com/products?q=';
    ! "${browser}" "${google}$1" done;
To execute from command prompt
$ ke -s
ke$ do read from test/buy.html done;
ke$ do buy od pizza done;
ke$ exit;
Dick McCullough
----- Original Message -----
Sent: Sunday, June 07, 2009 2:38 AM
Subject: Re: [ontolog-forum] Semantic v. Pragmatic Web

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

Dick McCullough
----- 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    (01)

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