#828 handle single cell specimen

[jzheng]

EBI received some data sets generated from single cell experiments. Therefore, Dr. Sirarat Sarntivijai would like to have a term to handle single cell specimen. Current OBI: cell specimen (http://purl.obolibrary.org/obo/OBI_0001468) defined as: A specimen primarily composed of cells collected from a multicellular organism or a cell culture
with axiom: has grain some cell

Here is the advice from Dr. Alexander D. Diehl on improving current OBI term which can deal with single cell specimen.
"The term is should ideally be redefined as "A specimen primarily composed of a cell or cells collected from a multicellular organism or a cell culture” in order to allow for single cell specimen to be a subtype.

single cell specimen is_a (cell specimen and (has_part exactly 1 cell))"

[Sirarat Sarntivijai]

Thanks so much Jie!

To add to that, could I also please request a new term 'single cell specimen' to be a subclass of 'cell specimen'?

[jzheng]

Discussed on obi call Jan 23, 2017

Will edit cell specimen and add single cell specimen suggested by Alexander. In addition, change
axiom: has grain some cell -> has part some cell

[jzheng]

has part is a transitive property cannot be used to set cardinality constraint. Need to import RO: has component (http://purl.obolibrary.org/obo/RO_0002180)

[jzheng]

Comments from Bjoern: The grain/part/component stuff is a mess. The grain/part/component stuff is a mess. I would just define textually and keep the logical definitions the same for now. ('has part' some cell). That is not wrong, and as long as we don't say it is sufficient as a definition, it is fine.

So, I added 'single cell specimen' without logical axiom:
'cell specimen' and ('has part' exactly 1 cell)

The new term with IRI; http://purl.obolibrary.org/obo/OBI_0002127