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

Re: Again on All humans love (all) cats

From: Kendall Clark <kendall@clarkparsia.com>
Date: Wed, 13 Oct 2010 10:12:56 -0400
Message-ID: <AANLkTikh-AJ0PR1q+29dnnH0TzjM9-fCToB_Mo6ZWVFb@mail.gmail.com>
To: Marco Colombetti <colombet@elet.polimi.it>
Cc: public-owl-dev@w3.org
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.


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. ;>

Received on Wednesday, 13 October 2010 14:14:08 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:19 UTC