-
Notifications
You must be signed in to change notification settings - Fork 10
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
Comments
Many of these might be cleared up by rebuilding imports. |
Yes, they are not AISM terms, but imported by idk. Nevertheless, we will
check if something is not OK on our side.
Thanks!
Istvan
On Wed, Aug 23, 2023 at 11:23 AM Jim Balhoff ***@***.***> wrote:
Many of these might be cleared up by rebuilding imports.
—
Reply to this email directly, view it on GitHub
<#76 (comment)>,
or unsubscribe
</~https://github.com/notifications/unsubscribe-auth/ACGX6JJVCKWAMCRUAFZ3HY3XWYN5JANCNFSM6AAAAAA33GMUK4>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
--
István Mikó PhD
Collection Manager
Department of Biological Sciences
117 Spaulding Life Sciences Building
38 Academic Way, Durham, NH 03824
|
Latest release (/~https://github.com/insect-morphology/aism/releases/tag/v2024-01-17) cleared up unsatisfiable classes coming from imports. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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:
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:
The text was updated successfully, but these errors were encountered: