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/~seanbReceived 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