Wrong reasoner in the documentation

emmo-repo / EMMO

Elementary Multiperspective Material Ontology (EMMO)

Other

61 stars 16 forks source link

Open ajeklund opened 1 year ago

ajeklund commented 1 year ago

According to @jesper-friis, the preferred reasoner to be used with EMMO has been changed from FaCT++ to HermiT.

The readme file still refers to FaCT++.

jesper-friis commented 11 months ago

This was addressed in PR #229. Unfortunately it has been laying around unreviewed for a while...

It has to be updated for beta5