- From: Axel Polleres <axel.polleres@urjc.es>
- Date: Tue, 17 Oct 2006 12:23:41 +0200
- To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Small observation:
Do you make a difference between 0-ary functions and constants on purpose?
Otherwise, you should replace:
Expr ::= Fun '(' TERM* ')'
with
Expr ::= Fun '(' TERM+ ')'
Similarly for relations vs propositions:
Do you intend to write 0-ary atoms
p or p()
if the former shall be preferred, the grammar shall change ATOM to:
Atom ::= Rel | Rel '(' TERM+ ')' | TERM '=' TERM
best,
Axel
--
Dr. Axel Polleres
email: axel@polleres.net url: http://www.polleres.net/
Received on Tuesday, 17 October 2006 10:23:52 UTC