- From: Chris Welty <cawelty@gmail.com>
- Date: Tue, 19 May 2009 00:27:29 -0400
- To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
I fixed some typos in-line. 1.2.1 Symbol Spaces "Constants in the rif:iri symbol space are intended to be used in a way similar to RDF resources [RDF-SCHEMA]. The lexical space consists of all absolute IRIs as specified in [RFC-3987]; it is unrelated to the XML primitive type anyURI." We should say why. It is a subtle point, and thus not completely "unrelated", maybe "semantically unrelated". How about: "it is unrelated to the XML primitive type anyURI, since cs:anyURI constants denote only themselves, and rif:iri constants can denote anything in the domain of interpretation." 3.2 Guard Predicates for Primitive Datatypes "Parties defining their own datatypes to be used in RIF exchanged rules may define their own guard predicates for these datatypes." may -> should 3.3 Negative Guard Predicates for Primitive Datatypes "Parties defining their own datatypes to be used in RIF exchanged rules may define their own negative guard predicates for these datatypes." may -> should 3.6.2 Predicates on Boolean Values I think we need is-true and is-false predicates for boolean in order to tie them in to true and false in RIF. 3.10.1 Functions on rdf:text "he pair 〈s, l〉 in the value space of rdf:text" The angle brackets come out as undefined characters in my browser. 3.11.1 Position Numbering "Positions beyond the end of the list are adjusted by the builtins to point to the first position after the end of the list. " That seems weird. What's the use case for that? Negative indexes are fine, I don't see they imply indexes beyond the end are OK. 5 Appendix: Schemas for Externally Defined Terms "τ is a positional or a named-argument term." Do we really "allow" named argument terms in externals? At the very least this would be incompatible with Core, and certainly no DTB builtins use them. -- Dr. Christopher A. Welty IBM Watson Research Center +1.914.784.7055 19 Skyline Dr. cawelty@gmail.com Hawthorne, NY 10532 http://www.research.ibm.com/people/w/welty
Received on Tuesday, 19 May 2009 04:28:17 UTC