- From: Dan Connolly <connolly@w3.org>
- Date: 15 Jul 2002 12:35:41 -0500
- To: Tim Berners-Lee <timbl@w3.org>
- Cc: Aaron Swartz <me@aaronsw.com>, www-archive+n3bugs@w3.org, "Sean B. Palmer" <sean@mysterylights.com>
On Mon, 2002-07-15 at 10:03, Tim Berners-Lee wrote:
> Hmmmm... Are you *sure* you don't want to be able to write "x-1"?
No, I'm not sure, but right now what works is...
> { y > x+1} => x a foo:Interesting}.
{ :y math:greaterThan [ is math:sum of (:x "1") ] }
log:implies { :x a foo:Interesting }.
and I can live with that for the forseeable future.
> Note that currently x-1 as an XML name becomes x__1 in n3.
not in my experience; is there a test case for that?
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 15 July 2002 13:35:53 UTC