DTB Review

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