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

Re: description-logic208

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Tue, 7 Oct 2003 20:13:58 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
Message-ID: <Pine.WNT.4.50.0310072006410.3852-100000@bean>

On Tue, 7 Oct 2003, Sean Bechhofer wrote:

> 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.....

I am now convinced there is a problem with this one. Both RACER and
Vampire claim that that the following entailment in the conclusion does
*not* hold:

<owl:Thing rdf:about="http://oiled.man.example.net/test#V16448">
  <owl:Class rdf:about="http://oiled.man.example.net/test#C122" />


Sean Bechhofer
Received on Tuesday, 7 October 2003 15:15:47 UTC

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