[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: Meta-somethingorother (was the semantic web mega-permathre

• To: xml-dev@l...
• Subject: Re: Meta-somethingorother (was the semantic web mega-permathread thing)
• From: Miles Sabin <miles@m...>
• Date: Sat, 12 Jun 2004 16:19:31 +0100
• In-reply-to: <40CB1A5F.1010409@p...>
• References: <0E36FD96D96FCA4AA8E8F2D199320E520212EC67@R... t.com> <200406121500.35724.miles@m...> <40CB1A5F.1010409@p...>
• Sender: Miles Sabin <miles@m...>
• User-agent: KMail/1.6

Bill de hÓra wrote,
> Miles Sabin wrote:
> > I've read all of those documents and there's nothing there that's
> > new since Tarski on the MT front, and the rest is KIF, say, with
> > angle brackets.
>
> Funny you say that. I've read the C# specification and there's
> nothing new in there since Turing, and the rest is C++, say, with
> garbage collection. I don't think either of us should be overly
> disappointed however.

Not comparable. Model-theoretic semantics for formal langauges are two a 
penny: pick up any halfway decent textbook on mathematical logic and 
you'll find at least one example which in all likelihood will look 
quite similar in to the RDF MT in general outline (well, more similar 
to the RDF MT than a TM configuration would look to C# code). The only 
novelty in the RDF MT is the hoops it has to jump through to align 
itself with the awkward informal semantics of pre-MT RDF.

> > So where's the beef?
>
> Why are you asking me?  I don't buy into Semantic Web hoopla any
> more than you do.

Umm ... OK, so why are you telling Eliotte to RTFM?

Cheers,


Miles

• Follow-Ups:
  • Re: Meta-somethingorother (was the semantic web mega-permathread thing)
    • From: Jonathan Borden <jonathan@o...>
  • Re: Meta-somethingorother (was the semantic web mega-permathreadthing)
    • From: Bill de hÓra <bill.dehora@p...>

• References:
  • Re: Meta-somethingorother (was the semantic web mega-permathread thing)
    • From: Miles Sabin <miles@m...>
  • Re: Meta-somethingorother (was the semantic web mega-permathreadthing)
    • From: Bill de hÓra <bill.dehora@p...>

• Prev by Date: RE: Meta-somethingorother (was the semantic webmega-permathread thing)
• Next by Date: Re: Meta-somethingorother (was the semantic web mega-permathread thing)
• Previous by thread: Re: Meta-somethingorother (was the semantic web mega-permathreadthing)
• Next by thread: Re: Meta-somethingorother (was the semantic web mega-permathreadthing)
• Index(es):
  • Date
  • Thread