Last minute BLD changes

RIFWG,

After the telecon yesterday and just as Sandro was putting the drafts into the 
W3C publication pipeline, Michael corrected an error in the BLD draft.  The 
change was small but not "editorial", so I unilaterally approved it since I felt 
we needed to publish before the W3C imposed publication moratorium (today), 
there was not time to get feedback from the WG, there was an obvious error in 
the draft that was better to have fixed, and I didn't judge the change to be 
controversial.  Of course this is a WD and if there are objections to the change 
we can roll them back in the next version.

In the interests of transparency, here are the changes from the version the WG 
approved (see the wiki or WD for the right symbols):

The error was

"In frame formulas, all terms must have the signature `term`."

This was changed to

"In frame formulas, all terms must have the signature `term` and `#`, `##` must 
have the signature `p`,,2,,{`(term term)`⇒`atomic`}."

This change required explanation back in the sections on # and ##:

OLD: "* ''Membership formula'': `o # c`, where `o`, `c` are well-formed terms."
NEW: "* ''Membership formula'': Depending on the dialect, the symbol `#` can 
have different signatures, but they can contain only the arrow expression of the 
form (κ,,1,, κ,,2,,) ⇒ `atomic`. A membership formula `o # c` 
is well-formed and has the signature `atomic`, if `o`, `c` are well-formed terms 
that have the signatures κ,,1,, and κ,,2,,, respectively."

OLD: "* ''Subclass formula'': `s ## c`, where `s`, `c` are well-formed terms.

    Informally, this formula states that class `s` is a subclass of class `c`."

NEW: "* ''Subclass formula'': Depending on the dialect, the symbol `##` can have 
different signatures, but they can contain only the arrow expression of the form 
(κ κ) ⇒ `atomic`. A subclass formula `s ## c` is well-formed 
and has the signature `atomic`, if `s` and `c` are well-formed terms with 
signature κ.

    Informally, this formula states that class `s` is a subclass of class `c`. 
Note that both arguments must have the same signature, since the subclass 
relationship is supposed to be transitive."



-- 
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 Wednesday, 31 October 2007 21:29:39 UTC