Re: Minus sign in ids Was: Alternative N3 Parsers for CWM

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