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

Issue150 ontograph cannotload emmo inferred directly #151

Merged
merged 5 commits into from
Apr 27, 2021
Merged

Issue150 ontograph cannotload emmo inferred directly #151

merged 5 commits into from
Apr 27, 2021

Conversation

francescalb
Copy link
Collaborator

ontograph [options] emmo-inferred did not work. Added --no-catalog-option as in emmocheck. Please check.

@francescalb francescalb linked an issue Apr 26, 2021 that may be closed by this pull request
add --no-catalog and default as in emmocheck for ontograph #150
Closed
jesper-friis
jesper-friis reviewed Apr 26, 2021
View reviewed changes
Copy link
Collaborator

@jesper-friis jesper-friis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No problem to load inferred EMMO. We should just set FaCT++ to the default reasoner if --reasoner is provided without argument: Replace "const='HermiT'" with "const='FaCT++'".

tools/ontograph Outdated Show resolved Hide resolved
@francescalb
Fixed default reasoner in ontograph to be FaCT++
81404f3
@francescalb
Merge branch 'issue150_ontograph_cannotload_emmo_inferred_directly' o…
67bf57c 
…f github.com:emmo-repo/EMMO-python into issue150_ontograph_cannotload_emmo_inferred_directly
@francescalb
Copy link
Collaborator Author

No problem to load inferred EMMO. We should just set FaCT++ to the default reasoner if --reasoner is provided without argument: Replace "const='HermiT'" with "const='FaCT++'".

Fixed

@francescalb francescalb reopened this Apr 27, 2021
@francescalb francescalb merged commit 227072f into master Apr 27, 2021
@francescalb francescalb deleted the issue150_ontograph_cannotload_emmo_inferred_directly branch April 27, 2021 09:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jesper-friis jesper-friis jesper-friis approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

add --no-catalog and default as in emmocheck for ontograph
2 participants
@francescalb @jesper-friis