- 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
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 UTC