W3C home > Mailing lists > Public > public-cwm-talk@w3.org > January to March 2009

Re: empty symbol list for "@forsome" and "@forall"

From: Tim Berners-Lee <timbl@w3.org>
Date: Sat, 21 Feb 2009 11:24:57 -0800
Cc: <public-cwm-talk@w3.org>
Message-Id: <F1C8A535-ABF1-42D6-B3F6-4AE28F1809DC@w3.org>
To: luc peuvrier at home <lc.pvrr@orange.fr>

On 2009-02 -21, at 10:30, luc peuvrier at home wrote:

> Hi,
>
> from http://www.w3.org/2000/10/swap/grammar/n3-report.html
>
> universal <- "@forAll" symbol_csl
> universal <- "@forAll" symbol_csl
>
> symbol_csl <- symbol symbol_csl_tail
> symbol_csl <- void
> Gives the possibility to have "@forall ." and "@forsome ." declaration
>
> But, what is the meaning of @forall and @forsome with an empty  
> symbol list ?


It is the empty meaning. :)

Sometimes it is nice to allow such a thing particularly when generating
N3 from a script.


>
> Best regards
> Luc Peuvrier
>
Received on Saturday, 21 February 2009 19:25:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 21 February 2009 19:25:32 GMT