- From: Mehrdad Omidvari <Mehrdad.Omidvari@networkinference.com>
- Date: Wed, 8 Oct 2003 09:45:16 +0100
- To: "Sean Bechhofer" <seanb@cs.man.ac.uk>, <www-webont-wg@w3.org>
There are 34 conclusions in this test. Last time we checked, only one failed (the instance assertion V16448:C122). Mehrdad Omidvari -----Original Message----- From: Sean Bechhofer Sent: 07 October 2003 18:38 To: www-webont-wg@w3.org Subject: description-logic208 Has anyone had any success with this test? http://www.w3.org/2002/03owlt/description-logic/Manifest208 Judging by the test results, nobody has passed this one (and I'm getting odd results from my implementation). I am beginning to wonder whether there was an error in the translation from the original test, but if someone has managed to show the entailments, I'll be happy..... Sean -- Sean Bechhofer seanb@cs.man.ac.uk http://www.cs.man.ac.uk/~seanb
Received on Wednesday, 8 October 2003 04:45:19 UTC