- From: Arthur Ryman <arthur.ryman@gmail.com>
- Date: Wed, 24 Jun 2015 15:27:18 -0400
- To: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>

Iovka, In [1] I believe the following are typos. Please confirm. 1. "Similarly, every incoming triple (out, u, p, n)" should be "Similarly, every incoming triple (inc, u, p, n)" 2. "Matching(n, t, ^p::C) = {(inc, u, p, n) ∈ G | t(u) satisfies C} if ^p::C is an inverse triple constraint. " should be "Matching(n, t, ^p::C) = {(inc, u, p, n) ∈ G | u ∈ allowed(C)} if ^p::C is an inverse triple constraint." fyi, this completes my first scan of the document. The approach looks interesting but I must admit that I find the definition of Typing to be very hard to understand. Some worked examples would help. I am going to spend some more time trying to understand it. What are your plans for this document? [1] http://w3c.github.io/data-shapes/semantics/ -- Arthur

Received on Wednesday, 24 June 2015 19:27:45 UTC