- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Wed, 08 Oct 2003 10:48:17 +0100
- To: Evren Sirin <evren@cs.umd.edu>
- Cc: www-webont-wg@w3.org
I will make the changes that the implementations agree on. Probably be Friday. Jeremy (This is interesting in that, as far as I can tell, no person vouches for these changes - i.e. this is too hard for the implementors even if we are getting a consistent picture from the implementations). Evren Sirin wrote: > > > >> 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> >> ]] > > > > I agree. Our reasoner Pellet also says this entailment does not hold. > > Evren > >> >> Sean >> >> -- >> Sean Bechhofer >> seanb@cs.man.ac.uk >> http://www.cs.man.ac.uk/~seanb > > > >
Received on Wednesday, 8 October 2003 05:50:59 UTC