shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec] from RDF Data Shapes Working Group Issue Tracker on 2015-03-28 (public-data-shapes-wg@w3.org from March 2015)

From: RDF Data Shapes Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Sat, 28 Mar 2015 20:20:21 +0000
To: public-data-shapes-wg@w3.org
Message-Id: <E1YbxDR-0008pe-M0@maia.w3.org>

shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec]

http://www.w3.org/2014/data-shapes/track/issues/29

Raised by: Richard Cyganiak
On product: SHACL Spec

A formalism must be picked for defining each of the constructs of the high-level language, as prose is considered insufficient.

Proposals include:

- An abstract syntax plus prose
- An axiomatic semantics
- SPARQL, and dealing with nested high-level expressions by building up a query string to be evaluated at once
- SPARQL, and dealing with nested high-level expressions by evaluting each part individually and combining the results outside of SPARQL
- …

Received on Saturday, 28 March 2015 20:20:22 UTC