search

emmo-repo / EMMO

Elementary Multiperspective Material Ontology (EMMO)
Other
63 stars 15 forks source link

Updated documentation about recommended reasoner. #229

Closed jesper-friis closed 1 year ago

jesper-friis commented 1 year ago

Closes #228

emanueleghedini commented 1 year ago

Not correct. The master version is built on Fact++, not hermit.

jesper-friis commented 1 year ago

True, but v. 1.0.0-beta4 uses HermiT. I think it is a good idea to update the documentation in that branch.

jesper-friis commented 1 year ago

Oh, I see that this PR was towards master. Sorry, that was a mistake (that I often do because that is the default behaviour of github).

I will reopen and merge towards EMMO 1.0.0-beta4.