[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Sun, 7 Jun 2009 02:34:54 -0700
Message-id: <CD93F0585C6344DD9CACE9A75B2FF23A@rhm8200>
That's a design feature of the RDF, OWL languages,
not the Semantic Web.
Use the mKR language to buy your pizza.
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>