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

Re: description-logic208

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 08 Oct 2003 10:48:17 +0100
Message-ID: <3F83DD61.5030902@hplb.hpl.hp.com>
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 GMT

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