[BLD] comments on frozen draft (19oct07)

Please find below some of my comments to BLD.

Regards, Igor


Sec.2., par.3, last line:
great deal syntactic -> great deal of syntactic

Sec.2.1., par.3:
the RIF logic language -> (shouldn't be ?) RIF-BLD
or is this intentionally more general?

Sec.2.1.1.2, last par:
and closure have signature -> has signature

Sec.2.1.1.3, bullet rif:text:
shouldn't the language tag be optional?

Sec.2.1.1.4, title and first line:
should the title be ... RIF-BLD _Condition_ language

Sec.2.1.1.4, bullet point on =, par.2:
Why does = belong to rif:local?
Isn't it globally defined, and should therefore belong to rif:iri?
I have no problem with omitting the explicit symbol space, though.

Sec.2.1.1.6, par.2:
XML presentation syntax is fully striped [Ref].
A reference would be helpful, I think Sandro provided one.

Sec.2.1.1.6, boxed XML elements:
Some title or caption would be helpful, like:
Classes, roles and their intended meaning in the XML serialization.

The order of non-slotted arguments is not addressed in XML...

Sec.2.1.2.1, Semantic structure, 4th bullet point, interpretation of =:
IR(=) is a truth-valued mapping _such as_ ...
Why 'such as', shouldn't you omit it?

Sec.2.1.2.1, Semantic structure:
the same symbol _I_ is used to define the basic semantic structure
(5-tuple) and a mapping (based on Ic, Iv, If, 3 paragraphs below).
Might be confusing...

Sec.2.1.2.1, definition of value spaces, 3rd bullet:
typo in ...lexical-to-value mapping of text, L,,text,,, maps each symbol...

Sec.2.1.2.1, Truth valuation of formulas:
four bullet points, and then the last sentence: the mapping ITruth is uniquely...
I do not understand what you want to say here.
_I_ refers to the basic semantic structure, and the four mappings within.
How would you make ITruth more explicit?

Sec.2.2, par.2, last sentence:
I would add: However, this feature is _just a_ syntactic sugar...

Sec.2.2.1.2, Upload new attachment:
this should probably be uploaded and disappear?

Sec.2.2.2.1, boxed examples:
the use of spaces (single, double) as delimiters is unfortunate.
What about omitting spaces around ' [ ' -> '[' ?

Sec.3.1.1.1, Example 5:
what is 'timediff', a builtin, rif:local, ...?

Sec.3.1.2.1, next to last sentence:
This means that the _the_ set ...

Sec.6.1, par.1, last sentence:
will be based _on_ multivalued logic.

Sec.6.1, last par, next to last sentence:
minimal models _are_ intended

Received on Tuesday, 23 October 2007 11:48:14 UTC