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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:31:44 UTC