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

RE: description-logic208

From: Mehrdad Omidvari <Mehrdad.Omidvari@networkinference.com>
Date: Wed, 8 Oct 2003 09:45:16 +0100
Message-ID: <3BE4D3F0FB726240966DEF40418472B56040@ni-lon-server1.ad.networkinference.com>
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 GMT

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