|To:||"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||"Richard H. McCullough" <rhm@xxxxxxxxxxxxx>|
|Date:||Sun, 7 Jun 2009 02:34:54 -0700|
That's a design feature of the RDF, OWL languages,
not the Semantic Web.
Use the mKR language to buy your pizza.
----- 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>|
|Previous by Date:||[ontolog-forum] Semantic v. Pragmatic Web, Sean Barker|
|Next by Date:||Re: [ontolog-forum] Semantic v. Pragmatic Web, paola . dimaio|
|Previous by Thread:||[ontolog-forum] Semantic v. Pragmatic Web, Sean Barker|
|Next by Thread:||Re: [ontolog-forum] Semantic v. Pragmatic Web, paola . dimaio|
|Indexes:||[Date] [Thread] [Top] [All Lists]|