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

From: "Aaron Swartz" <me@aaronsw.com>

>
> On Monday, July 15, 2002, at 10:03  AM, Tim Berners-Lee wrote:
> > Hmmmm...   Are you  *sure* you don't want to be able to write "x-1"?
> >
> > { y > x+1} => x a foo:Interesting}.
> >
> > Note that currently   x-1  as an XML name becomes x__1 in n3 .
>
> I'd be willing to write  "x + 1" or "[x + 1]" or something instead so I
> could use ical:WHEN-DATE without name mangling.

Then how would you say that "x + 1" means the sum of x and one ?  We still
can't (dont't want to) use quoted literals as subjects in n3, can we (do we
want to)?

{{y > xPlus1 } => {x a foo:Interesting} } (works for) me.

Or alternatively maybe we *should* allow + and - to appear in names:

{{y > x+1. x+1 sumOf  (x, 1)  } => {x a foo:Interesting} }

Seth Russell

Received on Monday, 15 July 2002 11:58:53 UTC