Re: Z Errors in Shape Expressions 1.0 Definition

• From: Arthur Ryman <arthur.ryman@gmail.com>
• Date: Mon, 6 Apr 2015 16:39:42 -0400
• To: public-data-shapes-wg@w3.org
• Message-ID: <CAApBiOnaHrmsgMSvGq+wyyi1VCTgCgUvqBHusA=ywFOgH_A3eg@mail.gmail.com>

Eric/Harold,

I created an XSLT script to translate the embedded LaTeX into ZML and
then ran the ZML XSLT script on that to generate the HTML. I committed
the scripts and the corrected spec to [1]. I also set up GitHub Pages
for the w3c/ShEx project and published the original (tagged as V1.0)
and the corrected (tagged as V1.0.1) specs. The corrected spec is at
[2].

V1.0.1 only corrects the HTML. It is therefore suitable as an update
to the version on the W3C site. However, it also contains some
stylistic and semantic errors, e.g. the statement:

"The evalRule′ function de-references the supplied Label and invokes
evalRule with the result. This is not explicitly represented because
the Z specification language does not allow cyclic dependencies."

is misleading. Yes, Z does not allow cyclic dependencies in
definitions, but this only means that you need to use "axiomatic
descriptions" (\axdef) instead of definitions (\gendef).

I'll describe the Z issues in the w3c/ShEx GitHub issue tracker and
update the spec. Do the two of you watch the GitHub issue tracker? We
should use that instead of this mailing list.

[1] https://github.com/w3c/ShEx/tree/master/w3c-member-submission
[2] http://w3c.github.io/ShEx/V1.0.1/Definition.html

-- Arthur

Received on Monday, 6 April 2015 20:40:09 UTC