- From: Gregg Reynolds <dev@mobileink.com>
- Date: Fri, 19 May 2017 10:28:00 -0500
- To: Tim Berners-Lee <timbl@w3.org>
- Cc: Sarven Capadisli <info@csarven.ca>, SW-forum Web <semantic-web@w3.org>
- Message-ID: <CAO40Mi=HQCfacVu5fhvss-B-_5cGWOScDrmBZSAat50EH4X=CQ@mail.gmail.com>
On Fri, May 19, 2017 at 6:26 AM, Tim Berners-Lee <timbl@w3.org> wrote: > Yes, I is an indexical, and we have in our language one indexical at our > disposal, > > <> > > which is “this document”, so we can formalize “I" as the author of the > document as > in N3 as > > [ is dc:author of <> ] > > read “the author of this message” > > So > > [ is dc:author of <> ] . > > Could be read as “I exist”. > > Or in plain turtle > > <> dc:author [] . > Excellent, why didn't I think of that? I stand corrected. I'll go you one better. English has the copula ("am"), which is lacking in many natural languages. So we can read <> as analogous to the "sum" of "Cogito ergo sum". And since <> is general, we can take it as referring not just to identity but to space-time location, yielding <> = sum-here-now. Then if we discard the notion that RDF triples must be translatable directly or naturally to Subject-Verb-Object constructions in some natural language, we can write <> <> <> . At least I think we can. I'm not sure how best to gloss it; something like "every doc is related to itself by itself (in space-time)"? Which is kinda sorta like "I am", if you squint hard enough. It won't get published in Philosphical Quarterly any time soon, but it makes for a pretty good RDF riddle. -Gregg > > > > On 2017-05 -18, at 22:54, Gregg Reynolds <dev@mobileink.com> wrote: > > > > On May 17, 2017 4:46 PM, "Sarven Capadisli" <info@csarven.ca> wrote: > > Philosophers and Semantic Web junkies gather around. > > Use the the RDF language to represent the following statement: > > "I am." > > > obviously not possible, since "I" is an indexical. You might as well try > "now”. > > > > [ is date of <> ] # now? > > > -Sarven > http://csarven.ca/#i > > > >
Received on Friday, 19 May 2017 15:28:35 UTC