Re: Comments (typos and wording suggestions) on the 9/21 version of BLD document

Stella,

Thanks for the comments.  I fixed the errors you point out in section 4.
Further responses to your comments:

> 4.2
> -----
>      "It turns out that reasoning" --> "Reasoning"  

Why should this be capitalized?

> 4.2.2.1
> ---------
>      Consistenly refers to RIF structure vs. RDF interpretation. Is
> there meant to be a distinction
>      (between the structure and the interpretation)?

This is merely a matter of terminology.  In the RIF specification,
interpretations/structures are called structures, and in the RDF
specification interpretation/structures are called interpretations.

>     3rd bullet:
>          "power set of" --> "cartesian product" ?

It is actually the power set of the cartesian product IR x IR; IEXT maps
each element IP to a subset of IR x IR.

>    7th & 8th conditions:
>          I don't understand why the RIF mapping IC isn't used instead of
> IF ?

This was an error.  I changed it to I,,C,,


> 4.2.3.2
> ---------
>     Mapping column for TRq mapping:
>    
>     "?xn" --> "xn"

There was indeed a mistake here.  However, it was exactly the other way
around. x1 had to be renamed to ?x1; in RIF, variable symbols are
preceded by a question mark.

>     "tr(S)" --> "S"    ?

I did not understand what you meant here.

> 4.2.3.3
> ---------
>       is the TRs function different for each graph?  (the different
> subscripts)

No, this was a mistake. I renamed the embedding T,,S,, to T,,R,,, to
avoid confusion.


best, Jos
-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
The third-rate mind is only happy when it is
thinking with the majority. The second-rate
mind is only happy when it is thinking with
the minority. The first-rate mind is only
happy when it is thinking.
  - AA Milne