Closed matentzn closed 3 years ago
Found a way to debug:
xxz:
robot merge --catalog $(CATALOG) -i tmp/ext-weak.owl -i bridge/collected-metazoan.owl -i tmp/allen-dhba.obo -o tmp/debugme.owl
xxx:
robot explain -i tmp/debugme.owl -M unsatisfiability --unsatisfiable random:3 --explanation tmp/debug_unsat_dhba.md -o tmp/debug_unsat.owl
If anyone can see any obvious problems here, please let me know @cmungall @balhoff @dosumis
Ignore this ticket. Found the proble I think.
Update to self: seems poro carries in disjoint axioms.
This doesn't look right to me:
brain SubClassOf part of some neural tube [ext.owl]
@dosumis where did you see this? I don't see that axiom (anymore?) it was there in the first version of the ticket, but I have corrected that since.
Superceded.
This whole block is very hard for me to understand - What should I do if
unreasoned-composite-%.owl
fails because of an unsatisfiable class?For example, I get:
Now because
SpeciesMergeUtil
needs the reasoner, I cant dump an intermediate ontology that I can look and debug. Whats the best way to inspect this problem?