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">
 <rdf:type>
  <owl:Class rdf:about="http://oiled.man.example.net/test#C122" />
 </rdf:type>
</owl:Thing>
]]

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb
Received on Tuesday, 7 October 2003 15:15:47 GMT

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