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

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
lup
Reply | Threaded
Open this post in threaded view
|

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

lup
Hi,
 
 
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 ?
 
Best regards
Luc Peuvrier
 
Reply | Threaded
Open this post in threaded view
|

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

Tim Berners-Lee

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

Hi,
 
 
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