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


ie we found some proof for them...

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 11 June 2003 19:29:12 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC