Skip to content

Update to latest HermiT.#1073

Merged
jamesaoverton merged 3 commits intomasterfrom
update-hermit
May 11, 2023
Merged

Update to latest HermiT.#1073
jamesaoverton merged 3 commits intomasterfrom
update-hermit

Conversation

@balhoff
Copy link
Contributor

@balhoff balhoff commented Nov 15, 2022

@ignazio1977 pointed out there is a newer release of HermiT available.

@jamesaoverton
Copy link
Member

I tested this with OBI and got identical OWL files for the main artefact and all our views/subsets.

@jamesaoverton jamesaoverton merged commit 483557f into master May 11, 2023
@jamesaoverton jamesaoverton deleted the update-hermit branch May 11, 2023 15:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants