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.

Sign up for GitHub

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

Jump to bottom

Refresh imports #3149

Merged

aleixpuigb merged 2 commits into master from refresh_imports

Dec 8, 2023

Collaborator

aleixpuigb commented Dec 8, 2023

No description provided.


          Refresh imports

78cb657

aleixpuigb self-assigned this

aleixpuigb requested a review from anitacaron as a code owner

December 8, 2023 11:14

github-actions bot commented Dec 8, 2023

This PR violates some taxon constraints. Here is what the reasoner has to say:

DMBA_16271 SubClassOf Nothing

DMBA_16271 EquivalentTo lateral tuberal nucleus and (part_of some Mus musculus)
- Mus musculus SubClassOf Mus
  - Mus SubClassOf Mus
    - Mus SubClassOf Murinae
      - Murinae SubClassOf Muridae
        
        Muridae SubClassOf Muroidea
        
        Muroidea SubClassOf Myomorpha
        
        Myomorpha SubClassOf Rodentia
        
        Rodentia SubClassOf Glires
- lateral tuberal nucleus SubClassOf part_of some lateral hypothalamic area
  - lateral hypothalamic area SubClassOf part_of some lateral zone of hypothalamus
    - lateral zone of hypothalamus SubClassOf part_of some hypothalamus
      - hypothalamus SubClassOf part_of some thalamic complex
        
        thalamic complex SubClassOf part_of some diencephalon
        
        diencephalon SubClassOf part_of some forebrain
        
        forebrain SubClassOf develops from some anterior neural tube
        
        develops from SubPropertyOf: has developmental contribution from
        
        has developmental contribution from Domain anatomical entity
- lateral tuberal nucleus SubClassOf in taxon some Primates
part_of o develops from SubPropertyOf: develops from
anatomical entity and (part_of some Mus musculus) SubClassOf only in taxon some Mus musculus
in taxon some Glires DisjointWith in taxon some Primates
only in taxon SubPropertyOf: in taxon

Axiom Impact

Axioms used 1 times

DMBA_16271 EquivalentTo lateral tuberal nucleus and (part_of some Mus musculus) [core.owl]
Muridae SubClassOf Muroidea [core.owl]
Mus SubClassOf Murinae [core.owl]
Mus musculus SubClassOf Mus [core.owl]
Myomorpha SubClassOf Rodentia [core.owl]
Muroidea SubClassOf Myomorpha [core.owl]
Murinae SubClassOf Muridae [core.owl]
Mus SubClassOf Mus [core.owl]
Rodentia SubClassOf Glires [core.owl]
lateral tuberal nucleus SubClassOf part_of some lateral hypothalamic area [core.owl]
lateral tuberal nucleus SubClassOf in taxon some Primates [core.owl]
forebrain SubClassOf develops from some anterior neural tube [core.owl]
diencephalon SubClassOf part_of some forebrain [core.owl]
hypothalamus SubClassOf part_of some thalamic complex [core.owl]
lateral zone of hypothalamus SubClassOf part_of some hypothalamus [core.owl]
lateral hypothalamic area SubClassOf part_of some lateral zone of hypothalamus [core.owl]
thalamic complex SubClassOf part_of some diencephalon [core.owl]
anatomical entity and (part_of some Mus musculus) SubClassOf only in taxon some Mus musculus [core.owl]
in taxon some Glires DisjointWith in taxon some Primates [core.owl]
only in taxon SubPropertyOf: in taxon [core.owl]
develops from SubPropertyOf: has developmental contribution from [core.owl]
has developmental contribution from Domain anatomical entity [core.owl]
part_of o develops from SubPropertyOf: develops from [core.owl]

Ontologies used:

core.owl (http://purl.obolibrary.org/obo/uberon/core.owl)


          Update uberon-bridge-to-dmba.owl

f09eb50

anitacaron approved these changes

View reviewed changes

aleixpuigb merged commit bb86a23 into master

1 check passed

aleixpuigb deleted the refresh_imports branch

December 8, 2023 12:59

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet