- From: Axel Polleres <axel.polleres@urjc.es>
- Date: Thu, 22 Feb 2007 12:53:11 +0100
- To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>, "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
Hi, A small detail, which you might want to sort out for the last changes: In the current syntax, it appears that we have some ambiguity, if we do not explicitly disallow 'And' and 'Or' as constant symbols... i.e. in And ( Or ( A() B() ) C() ) is 'And' (or 'Or' respectively) a constant or does it indicate a conjunction? The question arises only because "CONNAME, VARNAME, and SORTNAME, [...] are all still assumed to be any alphanumeric character sequence." It could be easily remedied then by changing: Con ::= CONNAME | '_'SORTNAME'"'CONNAME'"' to Con ::= '"'CONNAME'"' | '_'SORTNAME'"'CONNAME'"' for the moment, and then the example above would be, unambiguously written: And ( Or ( "A"() "B"() ) "C"() ) just my two more centavos Axel -- Dr. Axel Polleres email: axel@polleres.net url: http://www.polleres.net/
Received on Thursday, 22 February 2007 11:53:22 UTC