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

AISM debug unsatisfiable classes #76

Closed
matentzn opened this issue Aug 23, 2023 · 4 comments
Closed

AISM debug unsatisfiable classes #76

matentzn opened this issue Aug 23, 2023 · 4 comments

Comments

@matentzn
Copy link
Contributor

matentzn commented Aug 23, 2023

As noted in AISM has a lot (2000+) unsatisfiable classes. This will make it impossible to process it moving forward with the newer versions of ODK.

While I cannot currently help you solve the problem, I can at least provide you with explanations for some of the unsats. Focus on the axioms that have been used more that 29 times at first. If you cannot find a way to solve it by yourself, you will have to reach out either to @balhoff in person or try the #uberon channel on OBO slack.

I used this command:

robot explain -i ontologies/aism.owl --reasoner elk -M unsatisfiability --unsatisfiable random:30 --explanation aism_unsat.md

with a test version of ROBOT you can download from here.

megakaryocyte SubClassOf Nothing

More unsats (click here)..

epithelial cell of pancreas SubClassOf Nothing

hepatocyte SubClassOf Nothing

tracheal gill SubClassOf Nothing

basophilic erythroblast SubClassOf Nothing

Axiom Impact

Axioms used 29 times

Axioms used 16 times

Axioms used 15 times

Axioms used 14 times

Axioms used 13 times

Axioms used 12 times

Axioms used 10 times

Axioms used 9 times

Axioms used 8 times

Axioms used 7 times

Axioms used 6 times

Axioms used 5 times

Axioms used 4 times

Axioms used 2 times

Axioms used 1 times

Ontologies used:

@matentzn
Copy link
Contributor Author

matentzn commented Aug 23, 2023

Some more explanations

More unsats (click here)..

orthochromatic erythroblast SubClassOf Nothing

reticulocyte SubClassOf Nothing

corneal epithelial cell SubClassOf Nothing

retinal ganglion cell SubClassOf Nothing

pancreatic A cell SubClassOf Nothing

polychromatophilic erythroblast SubClassOf Nothing

retinal cone cell SubClassOf Nothing

erythroblast SubClassOf Nothing

megakaryocyte progenitor cell SubClassOf Nothing

proerythroblast SubClassOf Nothing

erythroid progenitor cell SubClassOf Nothing

megakaryocyte-erythroid progenitor cell SubClassOf Nothing

erythrocyte SubClassOf Nothing

nucleate erythrocyte SubClassOf Nothing

cardiac muscle cell SubClassOf Nothing

retinal rod cell SubClassOf Nothing

vascular associated smooth muscle cell SubClassOf Nothing

scleral cell SubClassOf Nothing

enucleate erythrocyte SubClassOf Nothing

blood vessel endothelial cell SubClassOf Nothing

cardiac muscle myoblast SubClassOf Nothing

choroidal cell of the eye SubClassOf Nothing

type B pancreatic cell SubClassOf Nothing

synovial cell SubClassOf Nothing

pancreatic D cell SubClassOf Nothing

@balhoff
Copy link

balhoff commented Aug 23, 2023

Many of these might be cleared up by rebuilding imports.

@teleaslamellatus
Copy link
Collaborator

teleaslamellatus commented Aug 23, 2023 via email

@JCGiron
Copy link
Member

JCGiron commented Jan 18, 2024

Latest release (/~https://github.com/insect-morphology/aism/releases/tag/v2024-01-17) cleared up unsatisfiable classes coming from imports.

@JCGiron JCGiron closed this as completed Jan 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants