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?


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 Bechhofer
Received on Wednesday, 8 October 2003 04:45:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC