W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2010

Re: Again on All humans love (all) cats

From: Marco Colombetti <colombet@elet.polimi.it>
Date: Wed, 13 Oct 2010 18:52:35 +0200
To: Kendall Clark <kendall@clarkparsia.com>
Cc: public-owl-dev@w3.org
Message-ID: <web-30103235@elet.polimi.it>
Thank you, Kendall, but: is topObjectProperty allowed in 
property chains at all in OWL 2 DL? This is still not 
clear to me (so maybe Pellet does not do something that it 
is not supposed to do, after all :-)

Marco

On Wed, 13 Oct 2010 10:12:56 -0400
  Kendall Clark <kendall@clarkparsia.com> wrote:
> On Wed, Oct 13, 2010 at 4:06 AM, Marco Colombetti
> <colombet@elet.polimi.it> wrote:
> 
>> I made a few experiments with existing reasoners: the 
>>chain subproperty
>> axiom works fine with HermiT (I mean it infers all 
>>assertions of form
>> loves(human,cat)), does not work with Pellet (no 
>>assertion of form
>> loves(human,cat) is inferred), and it makes my Fact++ 
>>crash.
> 
> Marco,
> 
> This is a bug in Pellet; we've made a ticket for it; and 
>it'll be
> fixed in the next release.
> 
> Thanks for the bug report. ;>
> 
> Cheers,
> Kendall
Received on Wednesday, 13 October 2010 16:53:13 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT