use case for ShEx

Here is a use case from Leandro, Federico and Patrice, that I will try 
to summarise correctly.
It is extracted from

https://github.com/LeandroLovisolo/ShapeExpressionsSlides/blob/master/slides.pdf

Attached a picture of a graph (comes from slide 19/27). A ShEx for that 
graph is given below.

Leandro would like to express the following arithmetic relation between 
the three blue nodes, for all relation.

"the value outputMaxKernel is equal to the sum of solidMaxKernel and 
liquidMaxKernel"

I was wondering whether it is currently expressible using semantic actions ?

--- The schema

<DocumentShape> { rdf:type anno:Document, anno:hasTable @<TableShape> }
<TableShape> { anno:hasForRow @<RowShape> *}
<RowShape> { anno:hasForRelation 
@<MillingSolidQuantityOutputRelationShape> }

<MillingSolidQuantityOutputRelationShape> {
   rdf:type bioraf:milling_solid_quantity_output_relation,
   core:hasAccessConcept @<SolidAccessConceptShape>,
   core:hasAccessConcept @<LiquidAccessConceptShape>,
   core:hasResultConcept @<OutputResultConceptShape>
}

<SolidAccessConceptShape> {
   rdf:type bioraf:biomass_quantity,
   anno:hasForFS @<FuzzySetShape>
}

<LiquidAccessConceptShape> {
   rdf:type bioraf:water_quantity,
   anno:hasForFS @<FuzzySetShape>
}

<OutputAccessConceptShape> {
   rdf:type bioraf:output_solid_constituent_quantity,
   anno:hasForFS @<FuzzySetShape>
}

<FuzzySetShape> {
   rdf:type anno:Scalar,
   anno:hasForFuzzyElement @<FuzzyElementShape>
}

<FuzzyElementShape> { anno:hasForMaxKernel xsd:string }




-- 
Iovka Boneva
Associate professor (MdC) Université de Lille
http://www.cristal.univ-lille.fr/~boneva/
+33 6 95 75 70 25