Document design patterns for expression pattern & localization pattern

[dosumis]

caro has a class 'expression pattern'. This currently has very little axiomatisation. Here are details of a design pattern to use for subclasses of expression pattern, and the related term: localization pattern. These should be moved into a standard design pattern doc. Also need to decide if any axiomatisation from this needs to live on the caro 'expression pattern' class.

'cell expresses'
domain: cell
range: gene/transgene

x cell_expresses y
iff:
cell(x)
gene/transgene(y)
exists some 'transcription, DNA templated (GO_0006351)' t
t (occurs_in x) and (has_input y)

expression pattern of gene y in organism o:
The mereological sum of all cells in o that cell_expresses y

'expression pattern of y'
def: "The mereological sum of all cells in a single organism in which expression of some specified gene or transgene occurs." []
subClassOf:
'expression pattern'
has_part some (cell that cell_expresses some y)
has_part only (cell that cell_expresses some y)
overlaps some 'localization pattern of x' # See definition below
ubuiquitously_expresses y # puts 'y' one simple step away from its pattern, making it easily queryable.
GCI: (cell that cell_expresses some y) EquivalentTo (cell that 'part of' some 'expression pattern of y')

'localization pattern of y':
def: "The mereological sum of all the products of gene Y in a single organism.
subClassOf: overlaps some 'expression pattern of y'
subClassOf: has_part some (product_of y)

Relationship to relations already in RO:

x expresses y
expands_to: x overlaps some (cell that cell_expresses some y)

x ubiquitously_expresses y:
expands_to: x has_part some (cell that cell_expresses some y) and has_part only (cell that cell_expresses) some y)

Left to decide: relation that applies between 'localization pattern of y' and y.

[dosumis]

Most of this is work to be done in RO. At least partly implemented there. Need to make sure relations get imported to CARO.