W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

Re: description-logic208

From: Evren Sirin <evren@cs.umd.edu>
Date: Wed, 08 Oct 2003 04:58:08 -0700
Message-ID: <3F83FBD0.9000401@cs.umd.edu>
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 GMT

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