search

brain-bican / human_brain_atlas_ontology

An application ontology built by combining ontologised versions of the Allen Institute Human Brain Atlas (HBA) StructureGraph mapped to Uberon.
0 stars 0 forks source link

PCL build unsatisfiable classes #2

Open hkir-dev opened 2 months ago

hkir-dev commented 2 months ago

PCL ontology build raised 6 unsatisfiable classes:

2024-04-18 11:42:11,409 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/hbao/HBA_9322
2024-04-18 11:42:11,409 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/hbao/HBA_9343
2024-04-18 11:42:11,409 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/hbao/HBA_9299
2024-04-18 11:42:11,409 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/hbao/HBA_9337
2024-04-18 11:42:11,409 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/hbao/HBA_9334
2024-04-18 11:42:11,409 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/hbao/HBA_9340

Problematic PCL imports: merged_import.owl.zip

Explanation of unsats: pcl_imports_unsat.md

This issue is probably related with: https://github.com/obophenotype/uberon/issues/2903#issuecomment-1880842570

Can you recommend a solution to fix the unsatisfiable classes?

hkir-dev commented 2 months ago

Should we update bridge file to change: