W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

Re: B1 B2 proof

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 12 Jun 2003 01:28:41 +0200
To: "Guus Schreiber <schreiber" <schreiber@cs.vu.nl>
Cc: Jeremy Carroll <jjc@hplb.hpl.hp.com>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OFC5C0406D.F0700201-ONC1256D42.007E9961-C1256D42.0080F82E@agfa.be>


[...]

>> 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT