- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Wed, 16 Apr 2008 23:53:04 -0400
- To: Axel Polleres <axel.polleres@deri.org>
- Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
> Michael Kifer wrote: > > One more comment. All names of the builtins must belong to some symbol > > space. So, the proper naming would be something like > > > > "pred:isLong"^^rif:iri > > > > rather than pred:isLong. > > The first sentence in the namespace section explains that this is > exactly how I use prefixed abbreviations here. The long version is > highly unreadable. Well, I read the first sentence but not the second, since I assumed that you just copied it from FLD. But the first and the second sentences contradict each other. The first says that : means the same as in BLD and FLD, but the second says something quite different. Worse yet, this second statement is wrong and not well-founded. According to it, xsd:string expands into "....string"^^rif:iri and then rif:iri should be expanded into "....iri"^^rif:iri, and so on. Do not play with macros -- they expand faster than fire. Furthermore, it is not a good idea to use one convention in one document and another in a different document. > > See, for example, Example 2 in > > http://www.w3.org/2005/rules/wiki/BLD#EBNF_for_the_RIF-BLD_Rule_Language > > > > > Alternatively, we could allocate a separate symbol space to the > > builtins. In this case, they would look something like > > I did suggest separatee symbol spaces some time ago in an ealier mail, > resp it was like that on the syntax proposals... with the addition that > - if we have a separate symbol space - why then do we need a keyword > "External"? > If we had separate symbol spaces, I think this sufficiently designates > builtins syntactically. External is not just for builtins. --michael > > "isLong"^^rif:predicate > > > > > > --michael > > > >> DTB is ready for review, slightly delayed: > >> > >> http://www.w3.org/2005/rules/wiki/DTB > >> > >> At least, it should be - although not officially part of the published > >> working drafts in this round - be stablilized to comply mostly with the > >> definitions in FLD and BLD concerning external schemas. > >> > >> This also completes ACTION-292 > >> "Put links for each builtin to Xquery source URI" > >> > >> best, > >> Axel > > > -- > Dr. Axel Polleres, Digital Enterprise Research Institute (DERI) > email: axel.polleres@deri.org url: http://www.polleres.net/ > > rdfs:Resource owl:differentFrom xsd:anyURI . > >
Received on Thursday, 17 April 2008 03:53:42 UTC