W3C home > Mailing lists > Public > public-awwsw@w3.org > February 2011

Re: Proposal, a new class of Web Names

From: Jonathan Rees <jar@creativecommons.org>
Date: Tue, 15 Feb 2011 14:01:43 -0500
Message-ID: <AANLkTi=QZFbQfNkEVXKKoOF_7sqGpStzfau_bDSBeacP@mail.gmail.com>
To: nathan@webr3.org
Cc: AWWSW TF <public-awwsw@w3.org>, Tim Berners-Lee <timbl@w3.org>
On Tue, Feb 15, 2011 at 1:54 PM, Jonathan Rees <jar@creativecommons.org> wrote:

> that has the property that the sentence is true with the URI
> substituted, but not true when some similar URI is substituted. You
> can assume that an HTTP client and RDF-parsing scripts are available.
>
> I'm happy to use 'Nathan and JAR agree that x' as a proxy for 'x is true'.

My apologies, this is very confused. The whole point is to generate
sentences that are true assuming one nose-following regime and false
assuming a different one, along with the derivations of those
sentences. So Nathan and I do *not* need to agree on truth. But we
ought to agree that the sentences are at least meaningful.

Jonathan
Received on Tuesday, 15 February 2011 19:02:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 15 February 2011 19:02:18 GMT