- From: Arthur Ryman <arthur.ryman@gmail.com>
- Date: Wed, 24 Jun 2015 15:14:51 -0400
- To: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
Iovka, I noticed some minor problems in the inference rules in [1]. 1. In rule-triple-constraint, all the (out, ni, p, ui) must be distinct. 2. In rule-inverse-triple-constraint, all the (inc, ui, p, ni) must be distinct. Also, there are two extra right parentheses. 3. In rule-group, in forall i, j, add the condition i != j 4. In rule-repeat, in forall i, j, add the condition i != j [1] http://w3c.github.io/data-shapes/semantics/ -- Arthur
Received on Wednesday, 24 June 2015 19:15:18 UTC