RE: description-logic208

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