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

Add option to explain to explain all incoherencies #686

Closed
2 tasks done
cmungall opened this issue May 7, 2020 · 3 comments
Closed
2 tasks done

Add option to explain to explain all incoherencies #686

cmungall opened this issue May 7, 2020 · 3 comments

Comments

@cmungall
Copy link
Contributor

cmungall commented May 7, 2020 •
edited by matentzn
Loading

Currently explain requires an axiom. If we know in advance X is unsat, we can ask for an explanation for X SubClassOf Nothing

Sometimes we may want to get all incoherencies explained

E.g. in the COB pipeline I want to make a report of all incoherencies

  • This could have some cutoff, e.g. max 20 (currently getting massive number of chebis unsat).
  • Also an option for not providing redundant explanations. E.g. if X Sub Y, and both are unsat, then only explain Y
@jamesaoverton
Copy link
Member

Sounds good. Is there someone you can assign to this?

@jamesaoverton jamesaoverton mentioned this issue Oct 22, 2020
Closed
@matentzn
Copy link
Contributor

this ticket is redundant with #329

@matentzn
Copy link
Contributor

Why redundant: 1) list of unsats and 2) root unsats both described in more detailed in #329

@matentzn matentzn mentioned this issue Nov 26, 2020
Merged
5 tasks
matentzn added a commit that referenced this issue Nov 27, 2020
@matentzn
Added new option for unsats: most_general
506bca6 
see #686 (comment)

Another method for avoiding redundant explanations.
beckyjackson pushed a commit that referenced this issue Jan 20, 2021
@matentzn
Updated explain command (#779)
a803db7 
* Updated explain command

Various updates

* Update CHANGELOG.md

* Render source ontology of axioms in Markdown

see #329 (comment)

* Added new option for unsats: most_general

see #686 (comment)

Another method for avoiding redundant explanations.

* Create uvula_multiple_unsat_all_explanation.md

Added because missing for CI testing

* Added missing examples

* Adding a bit of determinism to subset unsat

* Regularise order of axiom summary

* Regularise list of unsat order

* Some last fixes
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

No branches or pull requests
3 participants
@cmungall @jamesaoverton @matentzn