- From: Gregg Reynolds <dev@mobileink.com>
- Date: Wed, 23 Mar 2011 13:15:23 -0500
- To: Enrico Franconi <franconi@inf.unibz.it>
- Cc: tim.glover@bt.com, semantic-web@w3.org
Received on Wednesday, 23 March 2011 18:15:57 UTC
On Wed, Mar 23, 2011 at 8:08 AM, Enrico Franconi <franconi@inf.unibz.it>wrote: > I dare to disagree on the fact that any resemblance of RDF to predicate > logic is coincidental, accidental and entirely misleading. Please check: > ... > > > *From:* Glover,T,Tim,DES5 R > *Sent:* 23 March 2011 12:38 > *To:* 'Gregg Reynolds' > *Subject:* RE: Blank nodes, "leaning", and the LEM > > > Greg, > > As you pointed out in your previous email, any resemblance of RDF to > predicate logic is coincidental, accidental and entirely misleading. Blank > nodes are *analogous *to existential variables in PL, but the systems are > completely different. > > Mmm, for the record I think I said RDF is not a logic calculus, which isn't quite the same. I think it does resemble a kind of logic, and such resemblance is (I presume) by design, and useful. But on the whole I would agree that it is a bit misleading to characterize it as a fragment of a logic. At least that was my experience learning it. -Gregg (NB: triple-g)
Received on Wednesday, 23 March 2011 18:15:57 UTC