Re: Z Errors in Shape Expressions 1.0 Definition

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

So what would the appropriate axiomatization be?

If you want the WG to follow along, then there should be some notifications
on the WG mailing list.

peter


On 04/06/2015 01:39 PM, Arthur Ryman wrote:
> 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
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBAgAGBQJVI4ypAAoJECjN6+QThfjzSm0H/3QNpd1i+lKPuXOWqraYv6jd
erWWBaVq1Bidp45GXj89KW+fxXdjw5FuuYgAv3S45zhnaPUyaf0HfYXobEKa7o1V
Z9OfWs6Tap4ePZ1zZg0Z6ogKZYhOQeAAzhEpPZzkcB5H4+WDxvo+CufH3M5fJUZm
FowJzKa18ByL1G1Xzp/IluzQupE4ZkX5/IM1vRCEwdPzTfD42G/g/bJmLBfBCLQ9
e8TY7clJFD8/Gc0XXYl07t3sBi4CNeck0BeNT5CIwwYW4kM63/aRQ+gCVy2MZVjf
ovaLSH6umhw7KHECjPLLSipfDvRvCT4dwTyNMgQusHDu1CzeodLA5YFONn1By5Y=
=Nq4y
-----END PGP SIGNATURE-----

Received on Tuesday, 7 April 2015 07:52:40 UTC