Assuming develops_from indicates lineage then the following is problematic
cell1 subclassOf develops_from some cell2
cell1 subClassOf develops_from some cell3
e.g.
id: CL:0000140
name: odontocyte
relationship: develops_from CL:0000060 ! odontoblast
relationship: develops_from CL:0000134 ! mesenchymal stem cell
unless cell2 subClassOf cell3 OR cell3 SubClassOf cell2 (in which case the
pattern reflects redundancy and one axioms should be deleted) or cell2 and
cell3 overlap and all cell1 develop from some cell in that is in a class
defined by the intersection of cell2 and cell3.
I suspect that this is rarely the case where this pattern appears in CL. More
likely these are attempts at recording some/some relationships.
All such cases should therefore be reviewed.
Original issue reported on code.google.com by dosu...@gmail.com on 16 Jul 2014 at 12:13
Original issue reported on code.google.com by
dosu...@gmail.com
on 16 Jul 2014 at 12:13