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.

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

Start debugging guide for Uberon developers #3104

Open
matentzn opened this issue Oct 27, 2023 · 1 comment
Open

Start debugging guide for Uberon developers #3104

matentzn opened this issue Oct 27, 2023 · 1 comment

Comments

@matentzn
Copy link
Contributor

matentzn commented Oct 27, 2023

And add stuff like @gouttegd s perls of wisdom

While I am here, note to my future self and to anyone attempting to debug unsatisfiability issues in composite-metazoan (or any other composite-* product):

  1. Don’t.
  2. But if you must, then: avoid using composite-metazoan.owl itself or its direct precursor $(TMPDIR)/unreasoned-composite-metazoan.owl to chase down the cause(s) of an unsatisfiability issue. This is because the --merge-species-ontology and --merge-equivalence-sets step that are at the core of the composite pipeline may materialise axioms that were not explicitly asserted in any of the source ontologies and by doing that, it may make it impossible for any reasoner to explain to you the real root cause for an erroneous inferred assertion. Use instead an intermediate file that is just upstream of that step, $(TMPDIR)/merged-composite-metazoan.owl.

Originally posted by @gouttegd in #3099 (comment)

Copy link

This issue has not seen any activity in the past 6 months; it will be closed automatically one year from now if no action is taken.

@github-actions github-actions bot added the Stale label May 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants