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