Re: How would option b) on the last straw poll of 12 March work?

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

I think that natural language alone is an extremely poor way to define
anything.  It is just too easy to misinterpret natural language statements
even if the language is simplified and stiltified.

The SPARQL 1.1 query language, for example, has a complex mathematical basis
provided in http://www.w3.org/TR/sparql11-query/#sparqlDefinition.  RDF has
a model-theoretic definition.

peter




On 03/14/2015 09:55 AM, Karen Coyle wrote:
> 
> 
> On 3/14/15 8:46 AM, Irene Polikoff wrote:
>>> 
>> 
>> would and should actually read and understand Z semantics or some 
>> mathematical axiomatic descriptions, but would find SPARQL more 
>> difficult to understand?
> 
> I hope nothing that I have said could be read as support of Z semantics
> or mathematical axiomatic descriptions because I am not familiar with
> either. I prefer that standards be written in clear natural language. If
> there are formalisms that must be used, they should exist in addition to
> natural language descriptions. Many standards take this approach. In
> fact, the only place that I seem to have run into (incomprehensible)
> formalisms is in the OWL documentation. Everything else uses natural
> language (stiltified to be precise, perhaps) and examples. Even the
> SPARQL documentation takes this approach, so I don't understand why
> "formalisms" are assumed to be needed for SHACL.
> 
> kc
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJVBGtuAAoJECjN6+QThfjzDqYIAM6lMD3F+zMkHkPajzyBxHnQ
KMdbrd2wdhU/sYubsuXmSRJFE9mutXophNOFgtcbsgRA46ILV5kZV4hp43pc+5SP
7avLLPD/HN+1dNOvs5i3f8OBqqhYxYuRSeD8KCNz9am/TlDdM3EC0/67C9qcZS9O
+utIi1kgeQMVjrhOhdAvWnz0qC7s/02hoMMV3CF3Jk/h93NUamyjFLHHUhqsTvNR
+1wBK+xXWOAjWwpeQWeDyA08OoA9p1oCMDL+h3pfa1c3c91BdWUVxL8Yfq5MDtKY
rrYkb5DUt/dhfWhxCJyM1YAAGcCzka1dnx6tJVzUGUkL4kodNY5LXUM5NC0kgkc=
=Lsxm
-----END PGP SIGNATURE-----

Received on Saturday, 14 March 2015 17:10:36 UTC