Being compatible with Protege's version of HermiT

[Kenny Cason]

I have an ontology that is being developed in Protege 5.5.0, including SPARQL queries. Once the ontology is stable the data is passed off to a stand-alone Java program that executes the same queries. I need to get the same results regardless of whether the queries are run from Protege or my Java program.

That version of Protege uses HermiT 1.4.3.517 but I have received advice that for my Java program I should use the latest from https://gihub.com/ignazio1977/hermit-reasoner (which is different).

• Should I get the same query results from both versions of HermiT?
•  Where can I find the "best" version of HermiT to use from Java?
  

[Ignazio Palmisano]

On Fri, 14 Jun 2019, 15:16 Kenny Cason, <kenny...@gmail.com> wrote:

I have an ontology that is being developed in Protege 5.5.0, including SPARQL queries. Once the ontology is stable the data is passed off to a stand-alone Java program that executes the same queries. I need to get the same results regardless of whether the queries are run from Protege or my Java program.

That version of Protege uses HermiT 1.4.3.517 but I have received advice that for my Java program I should use the latest from https://gihub.com/ignazio1977/hermit-reasoner (which is different).

There's confusion here.

1.4.3.517 is a HermiT version released from the hermit-reasoner fork you linked (the fork updates and releases are managed by myself). That specific version is *not* compatible with Protégé.

The last part of the release number identifies the Owlapi version that was used to build HermiT. 517 is for version 5.1.7, Protégé uses version 4. Therefore, Protégé can only be using one of the latest 1.4.3.4xx versions.

As to which is the best HermiT, the differences between the HermiT original code base and the forks are minimal. The forks only aim to create releases compatible with new Owlapi releases, so it's a fair bet that there should be no relevant behavior changes.

Cheers,

Ignazio

• Should I get the same query results from both versions of HermiT?
•  Where can I find the "best" version of HermiT to use from Java?
  

--
You received this message because you are subscribed to the Google Groups "HermiT Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to hermit-users...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/hermit-users/43f4ac5f-1e33-410e-949d-56c3dab06d43%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Kenny Cason]

Yes, I stated the versioning very badly. Thanks for the feedback.

Any reply to my other post: https://groups.google.com/forum/#!topic/hermit-users/rdobW7g0tk8