search

EBISPOT / efo

Github repo for the Experimental Factor Ontology (EFO)
https://www.ebi.ac.uk/efo/
57 stars 13 forks source link

division of carotid artery - merge with carotid artery segment #1582

Open dosumis opened 2 years ago

dosumis commented 2 years ago

This equivalent class axiom is causing problems:

image

This means that everything that is part of a carotid artery segment (itself classified as an artery) is an artery. => inference that 'smooth muscle cell of carotid artery' is an artery!

It's not clear to me that there is any difference between carotid artery segment and division of carotid artery, so I'd consider merging, keeping the Uberon term (with only imported axiomatization).

In general - we should try to fix all cases of EquivalentClass axioms with no genus. This ticket is a very good illustration of how dangerous they are.

dosumis commented 2 years ago

Found another:

heart component EquivalentTo part_of some heart subClassOf cardiovascular system (!)

=> (among other things) - all heart cells are cardiovascular systems!

image