Recursion in RDF Data Shape Languages

• From: Arthur Ryman <arthur.ryman@gmail.com>
• Date: Wed, 20 May 2015 08:35:15 -0400
• To: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
• Message-ID: <CAApBiO=ibWn2RPz4LvyNgd+3pTbLeCFb0rG3h=FQ9h8+PRWz9w@mail.gmail.com>

 I just posted an article that formalizes the kind of recursion that
Resource Shape 2.0 supports. [1] It therefore also covers a subset of
the kind of recursion that SHACL(Holger) and SHACL(ShEx) supports. I
believe this kind of recursion could be added to SHACL-SPARQL(Peter).

The article is language-neutral in the sense that it does restrict how
constraints are specified. It uses Z Notation, but I've attempted to
keep it as simple as possible, and I've illustrated every definition
with a running example.

In the interest of having a stable version, I've posted it on arXiv.
I'd appreciate feedback and will include corrections or improvements
in the next version. Thanks.

[1] http://arxiv.org/abs/1505.04972

Received on Wednesday, 20 May 2015 12:35:42 UTC