- 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