# 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
http://mkrmke.org

----- Original Message -----

From: paola.dimaio@xxxxxxxxx

To: [ontolog-forum]

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


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