- From: Evren Sirin <evren@cs.umd.edu>
- Date: Wed, 08 Oct 2003 04:58:08 -0700
- 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> > ]] 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 04:53:43 UTC