Re: [OWLAPI-developer] HermiT bug?

[Ignazio Palmisano]

On 30 January 2017 at 20:53, Jim Balhoff <bal...@gmail.com> wrote:
> What is the best place to report a possible problem in HermiT?
>

I can't figure out f the inference is warranted or not.
The best place for HermiT issues is the HermiT mailing list, but a few
people hang about in both lists.

hermit...@googlegroups.com

HTH,
I.

> For this ontology:
>
> Ontology(<http://example.org/>
> Declaration(ObjectProperty(<http://example.org/#r>))
> Declaration(ObjectProperty(<http://example.org/#s>))
> SubObjectPropertyOf(<http://example.org/#r> ObjectInverseOf(<http://example.org/#s>))
> TransitiveObjectProperty(<http://example.org/#r>)
> )
>
> HermiT concludes s inverseOf r. It doesn’t seem correct to me, and FaCT++ doesn’t draw this conclusion. I’m using HermiT 1.3.8.413 within Protege. If I am wrong and this is a correct inference, I would be glad to have it explained as well!
>
> Thanks,
> Jim
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> _______________________________________________
> Owlapi-developer mailing list
> Owlapi-d...@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer

[Jim Balhoff]

Thanks for the pointer, Ignazio. I’ve joined the HermiT list now and see you already copied my question here.

Best regards,
Jim

[Jim Balhoff]

(copied back to list)

Thanks for letting me know!

- Jim

> On Jan 31, 2017, at 9:17 AM, Vincent Vialard <vin...@vialard.de> wrote:
>
> Hi Jim,
>
> I reported the problem about 2 years ago:
>
> https://code.google.com/archive/p/hermit-reasoner/issues/41
>
> Best,
>
> Vincent.
>
> Am 31.01.17 um 15:15 schrieb Jim Balhoff: