Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Wrong reasoner in the documentation #228

Open
ajeklund opened this issue May 9, 2023 · 2 comments
Open

Wrong reasoner in the documentation #228

ajeklund opened this issue May 9, 2023 · 2 comments

Comments

@ajeklund
Copy link

ajeklund commented May 9, 2023

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 jesper-friis mentioned this issue May 9, 2023
Closed
@jesper-friis jesper-friis linked a pull request May 9, 2023 that will close this issue
Updated documentation about recommended reasoner. #229
Closed
@jesper-friis
Copy link
Contributor

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

It has to be updated for beta5

jesper-friis added a commit that referenced this issue Aug 24, 2023
@jesper-friis
Updated documentation from old PR #228
92da6d0
@HoWilgh
Copy link

HoWilgh commented Oct 10, 2024

Shouldn't FaCT++ also be removed from 'Setting up Protégé for working with EMMO-based ontologies'
https://github.com/emmo-repo/EMMO/blob/master/doc/protege-setup.md

This helps especially newcomers since they otherwise try to install FaCT++ (which is no more working/needed).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Updated documentation about recommended reasoner. emmo-repo/EMMO
3 participants
@jesper-friis @HoWilgh @ajeklund