More tests verified

• From: Ian Horrocks <horrocks@cs.man.ac.uk>
• Date: Mon, 12 May 2003 19:04:19 +0100
• To: Jeremy Carroll <jjc@hpl.hp.com>
• Cc: www-webont-wg@w3.org
• Message-ID: <16063.57891.948203.219451@merlin.horrocks.net>

Jeremy,

I am still working my way through the tests:

Failed:

<description-logic/Manifest601#test> - I will investigate when I have
                                       more time.

Checked and verified:

<description-logic/Manifest602#test>
<description-logic/Manifest603#test>
<description-logic/Manifest604#test>
<description-logic/Manifest605#test>
<description-logic/Manifest606#test>
<description-logic/Manifest608#test>
<description-logic/Manifest609#test>
<description-logic/Manifest610#test>
<description-logic/Manifest611#test>
<description-logic/Manifest612#test>
<description-logic/Manifest613#test>
<description-logic/Manifest614#test>
<description-logic/Manifest615#test>
<description-logic/Manifest616#test>
<description-logic/Manifest617#test>
<description-logic/Manifest623#test>
<description-logic/Manifest624#test>
<description-logic/Manifest625#test>
<description-logic/Manifest626#test>
<description-logic/Manifest627#test>
<description-logic/Manifest628#test>
<description-logic/Manifest629#test>
<description-logic/Manifest630#test>
<description-logic/Manifest631#test>
<description-logic/Manifest632#test>
<description-logic/Manifest633#test>
<description-logic/Manifest634#test>
<description-logic/Manifest641#test>
<description-logic/Manifest642#test>
<description-logic/Manifest643#test>


More results will follow soon (I hope).

Ian

Received on Monday, 12 May 2003 14:04:33 UTC