WMBO build unsat classes

[hkir-dev]

WMBO build raised 11 unsatisfiable classes:

2024-11-26 14:16:05,548 ERROR org.obolibrary.robot.ReasonerHelper - There are 11 unsatisfiable classes in the ontology.
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_633
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_665
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_841
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_1016
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_1116
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_658
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_900
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_506
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_62
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_482
2024-11-26 14:16:05,549 ERROR org.obolibrary.robot.ReasonerHelper -     unsatisfiable: https://purl.brain-bican.org/ontology/mbao/MBA_158

Explanation of unsats: wmbo_explanation.md

Can you recommend a solution to fix the unsatisfiable classes?

[hkir-dev]

some may be related with brain-bican/human_brain_atlas_ontology#2

[dosumis]

No time to look in detail now, but I would expect these to be showing up in the MBA build

brachium of the inferior colliculus SubClassOf Nothing

• brachium of the inferior colliculus SubClassOf brachium of inferior colliculus
  • brachium of inferior colliculus SubClassOf central nervous system cell part cluster
    • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• brachium of the inferior colliculus SubClassOf part of some cochlear nerve
  • cochlear nerve SubClassOf part of some vestibulocochlear nerve
    • vestibulocochlear nerve SubClassOf cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

Nothing to do with cell types etc being added.

(Also - PNS CNS subdivision in Uberon is a perenial pain in the ass)

brachium of the inferior colliculus SubClassOf Nothing

• brachium of the inferior colliculus SubClassOf brachium of inferior colliculus
  • brachium of inferior colliculus SubClassOf central nervous system cell part cluster
    • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• brachium of the inferior colliculus SubClassOf part of some cochlear nerve
  • cochlear nerve SubClassOf part of some vestibulocochlear nerve
    • vestibulocochlear nerve SubClassOf cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

hypoglossal nerve SubClassOf Nothing

• hypoglossal nerve SubClassOf cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • Transitive: part of
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

cranial nerves SubClassOf Nothing

• cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
  • cranial nerve SubClassOf nerve of head region
    • nerve of head region SubClassOf nerve
      • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
  • cranial nerves SubClassOf fiber tracts
    • fiber tracts SubClassOf part of some brain
      • brain EquivalentTo brain and (part of some Mus musculus)
        • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

superior colliculus commissure SubClassOf Nothing

• superior colliculus commissure SubClassOf part of some optic nerve
  • optic nerve SubClassOf cranial nerve II
    • cranial nerve II SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
  • optic nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

tectothalamic pathway SubClassOf Nothing

• tectothalamic pathway SubClassOf part of some optic nerve
  • optic nerve SubClassOf cranial nerve II
    • cranial nerve II SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
  • optic nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

dorsal acoustic stria SubClassOf Nothing

• dorsal acoustic stria EquivalentTo dorsal acoustic stria and (part of some Mus musculus)
  • dorsal acoustic stria SubClassOf part of some cochlear nerve
    • cochlear nerve SubClassOf part of some vestibulocochlear nerve
      • vestibulocochlear nerve SubClassOf cranial nerves
        • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
          • cranial nerve SubClassOf nerve of head region
            • nerve of head region SubClassOf nerve
              • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
  • dorsal acoustic stria SubClassOf white matter of pontine tegmentum
    • white matter of pontine tegmentum SubClassOf white matter of pons
      • white matter of pons EquivalentTo white matter and (part of some pons)
        • white matter SubClassOf central nervous system cell part cluster
          • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• part of some peripheral nervous system DisjointWith part of some central nervous system

lateral lemniscus SubClassOf Nothing

• lateral lemniscus SubClassOf part of some cochlear nerve
  • cochlear nerve SubClassOf part of some vestibulocochlear nerve
    • vestibulocochlear nerve SubClassOf cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• lateral lemniscus EquivalentTo lateral lemniscus and (part of some Mus musculus)
  • lateral lemniscus SubClassOf nervous system lemniscus
    • nervous system lemniscus SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• part of some peripheral nervous system DisjointWith part of some central nervous system

olfactory nerve layer of main olfactory bulb SubClassOf Nothing

• olfactory nerve layer of main olfactory bulb SubClassOf part of some olfactory nerve
  • olfactory nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
      • cranial nerves SubClassOf fiber tracts
        • fiber tracts SubClassOf part of some brain
          • brain EquivalentTo brain and (part of some Mus musculus)
            • brain SubClassOf part of some central nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

optic chiasm SubClassOf Nothing

• optic chiasm SubClassOf part of some optic nerve
  • optic nerve SubClassOf cranial nerve II
    • cranial nerve II SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
  • optic nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

accessory spinal nerve SubClassOf Nothing

• accessory spinal nerve SubClassOf fiber tracts
  • fiber tracts SubClassOf part of some brain
    • Transitive: part of
    • brain EquivalentTo brain and (part of some Mus musculus)
      • brain SubClassOf part of some central nervous system
• accessory spinal nerve SubClassOf part of some cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

motor root of the trigeminal nerve SubClassOf Nothing

• motor root of the trigeminal nerve SubClassOf fiber tracts
  • fiber tracts SubClassOf part of some brain
    • brain EquivalentTo brain and (part of some Mus musculus)
      • brain SubClassOf part of some central nervous system
• motor root of the trigeminal nerve SubClassOf part of some trigeminal nerve
  • trigeminal nerve SubClassOf cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

trapezoid body SubClassOf Nothing

• trapezoid body SubClassOf trapezoid body
  • trapezoid body SubClassOf white matter of pontine tegmentum
    • white matter of pontine tegmentum SubClassOf white matter of pons
      • white matter of pons EquivalentTo white matter and (part of some pons)
        • white matter SubClassOf central nervous system cell part cluster
          • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• trapezoid body SubClassOf part of some cochlear nerve
  • cochlear nerve SubClassOf part of some vestibulocochlear nerve
    • vestibulocochlear nerve SubClassOf cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

trochlear nerve decussation SubClassOf Nothing

• trochlear nerve decussation EquivalentTo decussation of trochlear nerve and (part of some Mus musculus)
  • decussation of trochlear nerve SubClassOf neural decussation
    • neural decussation SubClassOf part of some white matter
      • white matter SubClassOf central nervous system cell part cluster
        • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
  • Transitive: part of
  • trochlear nerve decussation SubClassOf part of some trochlear nerve
    • trochlear nerve SubClassOf part of some cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

oculomotor nerve SubClassOf Nothing

• oculomotor nerve SubClassOf cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • Transitive: part of
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

cervicothalamic tract SubClassOf Nothing

• cervicothalamic tract SubClassOf part of some dorsal roots
  • dorsal roots SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
      • cranial nerves SubClassOf fiber tracts
        • fiber tracts SubClassOf part of some brain
          • brain EquivalentTo brain and (part of some Mus musculus)
            • brain SubClassOf part of some central nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

optic tract SubClassOf Nothing

• optic tract EquivalentTo optic tract and (part of some Mus musculus)
  • optic tract SubClassOf tract of diencephalon
    • tract of diencephalon EquivalentTo axon tract and (part of some diencephalon)
      • axon tract SubClassOf central nervous system cell part cluster
        • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
  • optic tract SubClassOf part of some optic nerve
    • optic nerve SubClassOf part of some cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

lateral olfactory tract, body SubClassOf Nothing

• lateral olfactory tract, body EquivalentTo lateral olfactory stria and (part of some Mus musculus)
  • Transitive: part of
  • lateral olfactory tract, body SubClassOf part of some lateral olfactory tract, general
    • lateral olfactory tract, general SubClassOf part of some olfactory nerve
      • olfactory nerve SubClassOf part of some cranial nerves
        • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
          • cranial nerve SubClassOf nerve of head region
            • nerve of head region SubClassOf nerve
              • nerve SubClassOf part of some peripheral nervous system
  • lateral olfactory stria EquivalentTo olfactory tract and (overlaps some olfactory cortex)
    • olfactory tract SubClassOf part of some white matter of telencephalon
      • white matter of telencephalon EquivalentTo white matter and (part of some telencephalon)
        • white matter SubClassOf central nervous system cell part cluster
          • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• part of some peripheral nervous system DisjointWith part of some central nervous system

spinal tract of the trigeminal nerve SubClassOf Nothing

• spinal tract of the trigeminal nerve SubClassOf spinal trigeminal tract
  • spinal trigeminal tract SubClassOf tract of brain
    • tract of brain EquivalentTo axon tract and (part of some brain)
      • Transitive: part of
      • axon tract SubClassOf central nervous system cell part cluster
        • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• spinal tract of the trigeminal nerve SubClassOf part of some sensory root of the trigeminal nerve
  • sensory root of the trigeminal nerve SubClassOf part of some trigeminal nerve
    • trigeminal nerve SubClassOf trigeminal nerve
      • trigeminal nerve SubClassOf cranial nerve
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

inferior colliculus commissure SubClassOf Nothing

• inferior colliculus commissure SubClassOf commissure of inferior colliculus
  • commissure of inferior colliculus SubClassOf brain commissure
    • brain commissure SubClassOf tract of brain
      • tract of brain EquivalentTo axon tract and (part of some brain)
        • axon tract SubClassOf central nervous system cell part cluster
          • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• inferior colliculus commissure SubClassOf part of some cochlear nerve
  • cochlear nerve SubClassOf part of some vestibulocochlear nerve
    • vestibulocochlear nerve SubClassOf cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

vagus nerve SubClassOf Nothing

• vagus nerve SubClassOf vagus nerve
  • vagus nerve SubClassOf cranial nerve
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
          • Transitive: part of
• vagus nerve SubClassOf cranial nerves
  • cranial nerves SubClassOf fiber tracts
    • fiber tracts SubClassOf part of some brain
      • brain EquivalentTo brain and (part of some Mus musculus)
        • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

olfactory nerve SubClassOf Nothing

• olfactory nerve SubClassOf part of some cranial nerves
  • Transitive: part of
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

optic nerve SubClassOf Nothing

• optic nerve SubClassOf cranial nerve II
  • cranial nerve II SubClassOf central nervous system cell part cluster
    • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
      • Transitive: part of
• optic nerve SubClassOf part of some cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

genu of the facial nerve SubClassOf Nothing

• genu of the facial nerve SubClassOf fiber tracts
  • fiber tracts SubClassOf part of some brain
    • brain EquivalentTo brain and (part of some Mus musculus)
      • brain SubClassOf part of some central nervous system
• genu of the facial nerve SubClassOf part of some facial nerve
  • facial nerve SubClassOf facial nerve
    • facial nerve EquivalentTo nerve and (innervates some facial muscle) and (extends_fibers_into some facial nucleus)
      • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

anterior commissure, olfactory limb SubClassOf Nothing

• anterior commissure, olfactory limb SubClassOf part of some olfactory nerve
  • olfactory nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• anterior commissure, olfactory limb EquivalentTo anterior commissure anterior part and (part of some Mus musculus)
  • anterior commissure anterior part EquivalentTo nervous system commissure and (part of some anterior commissure) and (connects some olfactory bulb)
    • nervous system commissure SubClassOf axon tract
      • axon tract SubClassOf central nervous system cell part cluster
        • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• part of some peripheral nervous system DisjointWith part of some central nervous system

sensory root of the trigeminal nerve SubClassOf Nothing

• sensory root of the trigeminal nerve SubClassOf fiber tracts
  • fiber tracts SubClassOf part of some brain
    • brain EquivalentTo brain and (part of some Mus musculus)
      • brain SubClassOf part of some central nervous system
• sensory root of the trigeminal nerve SubClassOf part of some trigeminal nerve
  • trigeminal nerve SubClassOf cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

cochlear nerve SubClassOf Nothing

• cochlear nerve SubClassOf fiber tracts
  • fiber tracts SubClassOf part of some brain
    • Transitive: part of
    • brain EquivalentTo brain and (part of some Mus musculus)
      • brain SubClassOf part of some central nervous system
• cochlear nerve SubClassOf part of some vestibulocochlear nerve
  • vestibulocochlear nerve SubClassOf cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

vestibular nerve SubClassOf Nothing

• vestibular nerve EquivalentTo vestibular nerve and (part of some Mus musculus)
  • vestibular nerve SubClassOf fiber tracts
    • fiber tracts SubClassOf part of some brain
      • brain EquivalentTo brain and (part of some Mus musculus)
        • brain SubClassOf part of some central nervous system
  • Transitive: part of
  • vestibular nerve EquivalentTo nerve and (innervates some semicircular canal) and (innervates some vestibular organ) and (branching part of some vestibulocochlear nerve) and (extends_fibers_into some vestibular nucleus)
    • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

posterior commissure SubClassOf Nothing

• posterior commissure SubClassOf posterior commissure
  • posterior commissure SubClassOf part of some diencephalic white matter
    • Transitive: part of
    • diencephalic white matter EquivalentTo white matter and (part of some diencephalon)
      • white matter SubClassOf central nervous system cell part cluster
        • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• posterior commissure SubClassOf part of some oculomotor nerve
  • oculomotor nerve SubClassOf cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

medial longitudinal fascicle SubClassOf Nothing

• medial longitudinal fascicle SubClassOf medial longitudinal fasciculus
  • medial longitudinal fasciculus SubClassOf fasciculus of brain
    • fasciculus of brain SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• medial longitudinal fascicle SubClassOf part of some oculomotor nerve
  • oculomotor nerve SubClassOf cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

glossopharyngeal nerve SubClassOf Nothing

• glossopharyngeal nerve SubClassOf cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • Transitive: part of
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

medial lemniscus SubClassOf Nothing

• medial lemniscus SubClassOf medial lemniscus
  • medial lemniscus SubClassOf nervous system lemniscus
    • nervous system lemniscus SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
        • Transitive: part of
• medial lemniscus SubClassOf part of some cervicothalamic tract
  • cervicothalamic tract SubClassOf part of some dorsal roots
    • dorsal roots SubClassOf part of some cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

dorsal limb SubClassOf Nothing

• dorsal limb SubClassOf part of some lateral olfactory tract, general
  • lateral olfactory tract, general SubClassOf part of some olfactory nerve
    • olfactory nerve SubClassOf part of some cranial nerves
      • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
        • cranial nerve SubClassOf nerve of head region
          • nerve of head region SubClassOf nerve
            • nerve SubClassOf part of some peripheral nervous system
        • cranial nerves SubClassOf fiber tracts
          • fiber tracts SubClassOf part of some brain
            • brain EquivalentTo brain and (part of some Mus musculus)
              • brain SubClassOf part of some central nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

dorsal roots SubClassOf Nothing

• dorsal roots SubClassOf part of some cranial nerves
  • Transitive: part of
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

lateral olfactory tract, general SubClassOf Nothing

• lateral olfactory tract, general SubClassOf part of some olfactory nerve
  • olfactory nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
      • cranial nerves SubClassOf fiber tracts
        • fiber tracts SubClassOf part of some brain
          • brain EquivalentTo brain and (part of some Mus musculus)
            • brain SubClassOf part of some central nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

facial nerve SubClassOf Nothing

• facial nerve EquivalentTo facial nerve and (part of some Mus musculus)
  • facial nerve SubClassOf cranial nerve
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• fiber tracts SubClassOf part of some brain
• part of some peripheral nervous system DisjointWith part of some central nervous system
• cranial nerves SubClassOf fiber tracts
• cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
• brain SubClassOf part of some central nervous system
• brain EquivalentTo brain and (part of some Mus musculus)

trochlear nerve SubClassOf Nothing

• trochlear nerve SubClassOf part of some cranial nerves
  • Transitive: part of
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
• trochlear nerve EquivalentTo root of trochlear nerve and (part of some Mus musculus)
  • root of trochlear nerve EquivalentTo root of cranial nerve and (extends_fibers_into some trochlear nerve)
    • root of cranial nerve EquivalentTo nerve root and (part of some central nervous system) and (extends_fibers_into some cranial nerve)
• part of some peripheral nervous system DisjointWith part of some central nervous system

abducens nerve SubClassOf Nothing

• abducens nerve SubClassOf cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • Transitive: part of
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

trigeminal nerve SubClassOf Nothing

• trigeminal nerve SubClassOf cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • Transitive: part of
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

accessory optic tract SubClassOf Nothing

• accessory optic tract SubClassOf part of some optic nerve
  • optic nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• accessory optic tract EquivalentTo accessory optic tract and (part of some Mus musculus)
  • accessory optic tract EquivalentTo axon tract and (part of some accessory optic system)
    • axon tract SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
• part of some peripheral nervous system DisjointWith part of some central nervous system

vestibulocochlear nerve SubClassOf Nothing

• vestibulocochlear nerve SubClassOf cranial nerves
  • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
    • cranial nerve SubClassOf nerve of head region
      • nerve of head region SubClassOf nerve
        • nerve SubClassOf part of some peripheral nervous system
    • Transitive: part of
    • cranial nerves SubClassOf fiber tracts
      • fiber tracts SubClassOf part of some brain
        • brain EquivalentTo brain and (part of some Mus musculus)
          • brain SubClassOf part of some central nervous system
• part of some peripheral nervous system DisjointWith part of some central nervous system

brachium of the superior colliculus SubClassOf Nothing

• brachium of the superior colliculus SubClassOf part of some optic nerve
  • optic nerve SubClassOf cranial nerve II
    • cranial nerve II SubClassOf central nervous system cell part cluster
      • central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system)
  • optic nerve SubClassOf part of some cranial nerves
    • cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus)
      • cranial nerve SubClassOf nerve of head region
        • nerve of head region SubClassOf nerve
          • nerve SubClassOf part of some peripheral nervous system
  • Transitive: part of
• part of some peripheral nervous system DisjointWith part of some central nervous system

Axiom Impact

Axioms used 41 times

• nerve SubClassOf part of some peripheral nervous system [merged_import.owl]
• part of some peripheral nervous system DisjointWith part of some central nervous system [merged_import.owl]
• Transitive: part of [merged_import.owl]

Axioms used 39 times

• cranial nerve SubClassOf nerve of head region [merged_import.owl]
• nerve of head region SubClassOf nerve [merged_import.owl]

Axioms used 37 times

• cranial nerves EquivalentTo cranial nerve and (part of some Mus musculus) [merged_import.owl]

Axioms used 21 times

• brain EquivalentTo brain and (part of some Mus musculus) [merged_import.owl]
• brain SubClassOf part of some central nervous system [merged_import.owl]
• fiber tracts SubClassOf part of some brain [merged_import.owl]

Axioms used 19 times

• central nervous system cell part cluster EquivalentTo multi cell part structure and (part of some central nervous system) [merged_import.owl]

Axioms used 15 times

• cranial nerves SubClassOf fiber tracts [merged_import.owl]

Axioms used 7 times

• optic nerve SubClassOf part of some cranial nerves [merged_import.owl]
• vestibulocochlear nerve SubClassOf cranial nerves [merged_import.owl]

Axioms used 6 times

• olfactory nerve SubClassOf part of some cranial nerves [merged_import.owl]
• cochlear nerve SubClassOf part of some vestibulocochlear nerve [merged_import.owl]

Axioms used 5 times

• cranial nerve II SubClassOf central nervous system cell part cluster [merged_import.owl]
• axon tract SubClassOf central nervous system cell part cluster [merged_import.owl]
• white matter SubClassOf central nervous system cell part cluster [merged_import.owl]
• optic nerve SubClassOf cranial nerve II [merged_import.owl]

Axioms used 3 times

• lateral olfactory tract, general SubClassOf part of some olfactory nerve [merged_import.owl]
• dorsal roots SubClassOf part of some cranial nerves [merged_import.owl]
• oculomotor nerve SubClassOf cranial nerves [merged_import.owl]
• trigeminal nerve SubClassOf cranial nerves [merged_import.owl]

Axioms used 2 times

• tract of brain EquivalentTo axon tract and (part of some brain) [merged_import.owl]
• white matter of pons EquivalentTo white matter and (part of some pons) [merged_import.owl]
• nervous system lemniscus SubClassOf central nervous system cell part cluster [merged_import.owl]
• white matter of pontine tegmentum SubClassOf white matter of pons [merged_import.owl]
• sensory root of the trigeminal nerve SubClassOf part of some trigeminal nerve [merged_import.owl]
• trochlear nerve SubClassOf part of some cranial nerves [merged_import.owl]
• cervicothalamic tract SubClassOf part of some dorsal roots [merged_import.owl]

Axioms used 1 times

• facial nerve EquivalentTo nerve and (innervates some facial muscle) and (extends_fibers_into some facial nucleus) [merged_import.owl]
• lateral olfactory stria EquivalentTo olfactory tract and (overlaps some olfactory cortex) [merged_import.owl]
• root of trochlear nerve EquivalentTo root of cranial nerve and (extends_fibers_into some trochlear nerve) [merged_import.owl]
• anterior commissure anterior part EquivalentTo nervous system commissure and (part of some anterior commissure) and (connects some olfactory bulb) [merged_import.owl]
• vestibular nerve EquivalentTo nerve and (innervates some semicircular canal) and (innervates some vestibular organ) and (branching part of some vestibulocochlear nerve) and (extends_fibers_into some vestibular nucleus) [merged_import.owl]
• diencephalic white matter EquivalentTo white matter and (part of some diencephalon) [merged_import.owl]
• root of cranial nerve EquivalentTo nerve root and (part of some central nervous system) and (extends_fibers_into some cranial nerve) [merged_import.owl]
• white matter of telencephalon EquivalentTo white matter and (part of some telencephalon) [merged_import.owl]
• tract of diencephalon EquivalentTo axon tract and (part of some diencephalon) [merged_import.owl]
• accessory optic tract EquivalentTo axon tract and (part of some accessory optic system) [merged_import.owl]
• optic tract EquivalentTo optic tract and (part of some Mus musculus) [merged_import.owl]
• trochlear nerve decussation EquivalentTo decussation of trochlear nerve and (part of some Mus musculus) [merged_import.owl]
• vestibular nerve EquivalentTo vestibular nerve and (part of some Mus musculus) [merged_import.owl]
• dorsal acoustic stria EquivalentTo dorsal acoustic stria and (part of some Mus musculus) [merged_import.owl]
• lateral lemniscus EquivalentTo lateral lemniscus and (part of some Mus musculus) [merged_import.owl]
• lateral olfactory tract, body EquivalentTo lateral olfactory stria and (part of some Mus musculus) [merged_import.owl]
• facial nerve EquivalentTo facial nerve and (part of some Mus musculus) [merged_import.owl]
• accessory optic tract EquivalentTo accessory optic tract and (part of some Mus musculus) [merged_import.owl]
• anterior commissure, olfactory limb EquivalentTo anterior commissure anterior part and (part of some Mus musculus) [merged_import.owl]
• trochlear nerve EquivalentTo root of trochlear nerve and (part of some Mus musculus) [merged_import.owl]
• posterior commissure SubClassOf part of some diencephalic white matter [merged_import.owl]
• nervous system commissure SubClassOf axon tract [merged_import.owl]
• trigeminal nerve SubClassOf cranial nerve [merged_import.owl]
• facial nerve SubClassOf cranial nerve [merged_import.owl]
• vagus nerve SubClassOf cranial nerve [merged_import.owl]
• optic tract SubClassOf tract of diencephalon [merged_import.owl]
• olfactory tract SubClassOf part of some white matter of telencephalon [merged_import.owl]
• medial longitudinal fasciculus SubClassOf fasciculus of brain [merged_import.owl]
• decussation of trochlear nerve SubClassOf neural decussation [merged_import.owl]
• dorsal acoustic stria SubClassOf white matter of pontine tegmentum [merged_import.owl]
• trapezoid body SubClassOf white matter of pontine tegmentum [merged_import.owl]
• lateral lemniscus SubClassOf nervous system lemniscus [merged_import.owl]
• medial lemniscus SubClassOf nervous system lemniscus [merged_import.owl]
• brachium of inferior colliculus SubClassOf central nervous system cell part cluster [merged_import.owl]
• commissure of inferior colliculus SubClassOf brain commissure [merged_import.owl]
• fasciculus of brain SubClassOf central nervous system cell part cluster [merged_import.owl]
• brain commissure SubClassOf tract of brain [merged_import.owl]
• neural decussation SubClassOf part of some white matter [merged_import.owl]
• spinal trigeminal tract SubClassOf tract of brain [merged_import.owl]
• olfactory nerve layer of main olfactory bulb SubClassOf part of some olfactory nerve [merged_import.owl]
• genu of the facial nerve SubClassOf fiber tracts [merged_import.owl]
• genu of the facial nerve SubClassOf part of some facial nerve [merged_import.owl]
• optic chiasm SubClassOf part of some optic nerve [merged_import.owl]
• optic tract SubClassOf part of some optic nerve [merged_import.owl]
• posterior commissure SubClassOf posterior commissure [merged_import.owl]
• posterior commissure SubClassOf part of some oculomotor nerve [merged_import.owl]
• sensory root of the trigeminal nerve SubClassOf fiber tracts [merged_import.owl]
• superior colliculus commissure SubClassOf part of some optic nerve [merged_import.owl]
• tectothalamic pathway SubClassOf part of some optic nerve [merged_import.owl]
• trochlear nerve decussation SubClassOf part of some trochlear nerve [merged_import.owl]
• vestibular nerve SubClassOf fiber tracts [merged_import.owl]
• brachium of the inferior colliculus SubClassOf brachium of inferior colliculus [merged_import.owl]
• brachium of the inferior colliculus SubClassOf part of some cochlear nerve [merged_import.owl]
• dorsal acoustic stria SubClassOf part of some cochlear nerve [merged_import.owl]
• dorsal limb SubClassOf part of some lateral olfactory tract, general [merged_import.owl]
• medial longitudinal fascicle SubClassOf medial longitudinal fasciculus [merged_import.owl]
• medial longitudinal fascicle SubClassOf part of some oculomotor nerve [merged_import.owl]
• inferior colliculus commissure SubClassOf commissure of inferior colliculus [merged_import.owl]
• inferior colliculus commissure SubClassOf part of some cochlear nerve [merged_import.owl]
• lateral lemniscus SubClassOf part of some cochlear nerve [merged_import.owl]
• lateral olfactory tract, body SubClassOf part of some lateral olfactory tract, general [merged_import.owl]
• medial lemniscus SubClassOf medial lemniscus [merged_import.owl]
• medial lemniscus SubClassOf part of some cervicothalamic tract [merged_import.owl]
• abducens nerve SubClassOf cranial nerves [merged_import.owl]
• accessory spinal nerve SubClassOf fiber tracts [merged_import.owl]
• accessory spinal nerve SubClassOf part of some cranial nerves [merged_import.owl]
• spinal tract of the trigeminal nerve SubClassOf spinal trigeminal tract [merged_import.owl]
• spinal tract of the trigeminal nerve SubClassOf part of some sensory root of the trigeminal nerve [merged_import.owl]
• facial nerve SubClassOf facial nerve [merged_import.owl]
• glossopharyngeal nerve SubClassOf cranial nerves [merged_import.owl]
• hypoglossal nerve SubClassOf cranial nerves [merged_import.owl]
• trapezoid body SubClassOf trapezoid body [merged_import.owl]
• trapezoid body SubClassOf part of some cochlear nerve [merged_import.owl]
• accessory optic tract SubClassOf part of some optic nerve [merged_import.owl]
• anterior commissure, olfactory limb SubClassOf part of some olfactory nerve [merged_import.owl]
• trigeminal nerve SubClassOf trigeminal nerve [merged_import.owl]
• brachium of the superior colliculus SubClassOf part of some optic nerve [merged_import.owl]
• vagus nerve SubClassOf vagus nerve [merged_import.owl]
• vagus nerve SubClassOf cranial nerves [merged_import.owl]
• motor root of the trigeminal nerve SubClassOf fiber tracts [merged_import.owl]
• motor root of the trigeminal nerve SubClassOf part of some trigeminal nerve [merged_import.owl]
• cochlear nerve SubClassOf fiber tracts [merged_import.owl]

Ontologies used:

• merged_import.owl (http://purl.obolibrary.org/obo/pcl/imports/merged_import.owl)

[dosumis]

Didn't we attempt to fix these before by classifying as nerve roots?

[hkir-dev]

It was only done for HBA terms obophenotype/uberon#3281

[dosumis]

Odd that MBA ODK passes.

Re fix: are the relationships between MBA terms coming from LinkML-OWL? If so trying to think through options to over-ride. A table or tables of curated relationships -->
Slightly hacky curated delete and replace using SPARQL update following LinkML-OWL build?

[hkir-dev]

MBA ODK is an older version (v1.4, latest is v1.6), so probably it doesn't have those checks.

Yes, parent_structure_id property in the structure graph is used to drive the hierarchy between MBA terms using LinkML. But we have a python script that drive this operation, so we can over-ride some relations if needed using a curation table.