Re: B1 B2 proof

[...]

>> Quickish response ... I suspect a little discussion at the telecon might

>> then permit us to see which way to go.
>
>OK. Will add this to the telecon agenda under agenda item 3.

maybe you could also add the approval of a couple of some of
the http://www.w3.org/TR/owl-test/#dl-600-harderlite test cases

http://www.w3.org/2002/03owlt/description-logic/Manifest661
http://www.w3.org/2002/03owlt/description-logic/Manifest664
http://www.w3.org/2002/03owlt/description-logic/Manifest667

ie we found some proof for them...
http://lists.w3.org/Archives/Public/www-archive/2003Jun/0016.html

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Wednesday, 11 June 2003 19:29:12 UTC