INCATools / ubergraph

Integrated OBO ontology store

BSD 3-Clause "New" or "Revised" License

42 stars 3 forks source link

New incoherency #82

Closed balhoff closed 2 years ago

balhoff commented 2 years ago

https://github.com/INCATools/ubergraph/runs/7849044206?check_suite_focus=true

sporocarp development involved in asexual reproduction SubClassOf Nothing

sporocarp development involved in asexual reproduction EquivalentTo sporocarp development and (part of some asexual reproduction)
- sporocarp development SubClassOf reproductive fruiting body development
  - reproductive fruiting body development SubClassOf spore-bearing structure development
  - spore-bearing structure development SubClassOf reproductive structure development
    - reproductive structure development SubClassOf part of some reproductive system development
    - reproductive system development EquivalentTo anatomical structure development and (results in development of some reproductive system)
      - reproductive system SubClassOf part of some genitourinary system
      - genitourinary system EquivalentTo anatomical system and (has part some reproductive system) and (has part some renal system)
        
        renal system SubClassOf only in taxon some Eumetazoa
        
        only in taxon SubPropertyOf: in taxon
        
        Eumetazoa SubClassOf Metazoa
      - results in development of SubPropertyOf: results in developmental progression of
- part of SubPropertyOf: overlaps
overlaps o in taxon SubPropertyOf: in taxon
spore-bearing structure development DisjointWith in taxon some Metazoa
results in developmental progression of o in taxon SubPropertyOf: in taxon
has part o in taxon SubPropertyOf: in taxon

Axiom Impact

Axioms used 1 times

sporocarp development involved in asexual reproduction EquivalentTo sporocarp development and (part of some asexual reproduction) [go-base.owl]
reproductive system development EquivalentTo anatomical structure development and (results in development of some reproductive system) [go-base.owl]
genitourinary system EquivalentTo anatomical system and (has part some reproductive system) and (has part some renal system) [uberon-base.owl]
reproductive fruiting body development SubClassOf spore-bearing structure development [go-base.owl]
sporocarp development SubClassOf reproductive fruiting body development [go-base.owl]
reproductive structure development SubClassOf part of some reproductive system development [go-base.owl]
spore-bearing structure development SubClassOf reproductive structure development [go-base.owl]
Eumetazoa SubClassOf Metazoa [taxslim.owl]
reproductive system SubClassOf part of some genitourinary system [uberon-base.owl]
renal system SubClassOf only in taxon some Eumetazoa [uberon-base.owl]
spore-bearing structure development DisjointWith in taxon some Metazoa [go-base.owl]
part of SubPropertyOf: overlaps [ro-base.owl]
only in taxon SubPropertyOf: in taxon [ro-base.owl]
results in development of SubPropertyOf: results in developmental progression of [ro-base.owl]
has part o in taxon SubPropertyOf: in taxon [ro-base.owl]
overlaps o in taxon SubPropertyOf: in taxon [uberon-base.owl]
results in developmental progression of o in taxon SubPropertyOf: in taxon [ro-base.owl]

Ontologies used:

uberon-base.owl (http://purl.obolibrary.org/obo/uberon/uberon-base.owl)
taxslim.owl (http://purl.obolibrary.org/obo/ncbitaxon/subsets/taxslim.owl)
ro-base.owl (http://purl.obolibrary.org/obo/ro/ro-base.owl)
go-base.owl (http://purl.obolibrary.org/obo/go/go-base.owl)

balhoff commented 2 years ago

@matentzn @shawntanzk @anitacaron we need to check the latest commits and find what went wrong. :-)

matentzn commented 2 years ago

These kinds of issues are of critical importance, but not my personal area - @shawntanzk loop me in if you need me for something specific.

shawntanzk commented 2 years ago

This is the offending PR https://github.com/obophenotype/uberon/commit/40e47c686350786a411775cd2c1340652b6566e1 I think

balhoff commented 2 years ago

Fixed by https://github.com/obophenotype/uberon/pull/2612