Closed mepcotterell closed 9 years ago
I suppose this is now in master, since the pull request went through. We should still investigate since this might open up the use of more reasoners.
I've updated to OWL API 3.5.1 in my branch and it still works. I'm going to close this issue. The change should take effect after my next pull request.
Currently, in my (mepcotterell) testing branch, I'm using HermiT 1.3.8.4 and OWL API 3.4.3. This is because the documentation of HermiT specifies this version of the OWL API. However, if the newer version of the OWL API are backwards compatible with 3.4.3, then we can (potentially) use the latest version of OWL API.
Any ideas?