Re: Minutes of the beer session

At 10:16 PM +0300 7/22/03, Jeremy Carroll wrote:

>At the moment I hear Jim ready to declare victory and I am feeling somewhat
>angry. I find the haste (i.e. between the draft to the WG and the msg on the
>comments list) with which a faulty message was sent off to Dave Reynolds
>disconcerting. The reply did not address the text
>"A rationale for not permitting this in OWL DL
>   should be given, preferably as a test case in OWL Full
>   showing an OWL Full non-entailment that would hold in
>   OWL DL if such triples were permitted."
>
>The many group members who cheered that reply forward seemed to have failed to
>have read to the end to see that Jim had made a mistake (of course mistakes
>get made, but when checked off by three other people?)
>
>Jeremy

Actually Jeremy, I stand by my reply, no mistake was made.

My decision not to agree to adding that test was (i) because their 
suggestion to add it was in the context of a suggested change that we 
didn't make, and (ii) because the process to allow new tests to be 
proposed and approved is up to the Test Cases editors, and neither of 
them indicated that they planned to do this (this message was on our 
queue for a long time).

If the test editors wish to propose such a test, and if it is passed 
by the group to become approved, it would certainly not be amiss, but 
I didn't think that was on the critical path to answering this 
message.


On the rest of the "beer memorandum," as far as I can tell all the 
issues were discussed and closed.  The B1,B2 was closed on Mar 27 
over your objection. The WG agreed that if you were able to get the 
correspondence proof to work with B1 and B2 included, to the 
satisfaction of Peter and Ian, then we would consider reopening -- I 
still have not seen the proof/agreement -- if you can claim victory 
on that, please let us know -- but at the moment, the work you quote 
is that it can probably be proven if we make some other changes, and 
we saw no support on the WG for making those changes (i.e. no emails 
in agreement) so to date chairs don't see this issue reopening -- and 
we've written the request for advancement noting your objections  (I 
will put a pointer to the new version in the agenda, which will be 
out soon)
  -JH
-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***

Received on Tuesday, 22 July 2003 18:22:20 UTC