ISSUE-29: Formalism for definition of high-level language
formalism
Formalism for definition of high-level language
- State:
- CLOSED
- Product:
- SHACL Spec
- Raised by:
- Richard Cyganiak
- Opened on:
- 2015-03-28
- Description:
- 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
- … - Related Actions Items:
- No related actions
- Related emails:
- Re: Proposal to close ISSUE-29 as a duplicate (from holger@topquadrant.com on 2015-07-29)
- Re: Proposal to close ISSUE-29 as a duplicate (from pfpschneider@gmail.com on 2015-07-28)
- Re: Proposal to close ISSUE-29 as a duplicate (from pfpschneider@gmail.com on 2015-07-28)
- Proposal to close ISSUE-29 as a duplicate (from holger@topquadrant.com on 2015-07-28)
- Re: shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec] (from holger@topquadrant.com on 2015-04-17)
- Re: shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec] (from pfpschneider@gmail.com on 2015-04-12)
- Re: shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec] (from kcoyle@kcoyle.net on 2015-04-10)
- Re: shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec] (from pfpschneider@gmail.com on 2015-04-09)
- Re: shapes-ISSUE-43 (SHACL-Part-1-FPWD): Proposal for creating the FPWD of SHACL Part 1 [SHACL Spec] (from pfpschneider@gmail.com on 2015-04-09)
- Re: shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec] (from arthur.ryman@gmail.com on 2015-04-02)
- shapes-ISSUE-29 (formalism): Formalism for definition of high-level language [SHACL Spec] (from sysbot+tracker@w3.org on 2015-03-28)
Related notes:
Resolution: Close ISSUE-29, as already resolved using "SPARQL plus an extension function for recursive shapes"
See http://www.w3.org/2015/09/09-shapes-minutes.html#resolution06
Display change log
