Wrong reasoner in the documentation
Opened this issue · 1 comments
ajeklund commented
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
This was addressed in PR #229. Unfortunately it has been laying around unreviewed for a while...
It has to be updated for beta5