ISSUE-233: Should we require support for checking of well-formed shapes graphs?

Shapes syntax checking

Should we require support for checking of well-formed shapes graphs?

State:
CLOSED
Product:
SHACL Spec
Raised by:
Holger Knublauch
Opened on:
2017-02-21
Description:
Two people on the public mailing list

https://lists.w3.org/Archives/Public/public-rdf-shapes/2017Feb/0121.html
https://lists.w3.org/Archives/Public/public-rdf-shapes/2017Feb/0123.html

have asked whether SHACL could include capabilities to verify that a shapes graph is well-formed. This could either happen when a shapes graph is installed on the engine or at validation time.

Peter suggests that all SHACL implementations must provide such an interface that can be called on demand. Lars suggests SHACL returns some information on this in each validation report.

I believe making an implementation of complete syntax checking mandatory is unnecessarily raising the bar but I agree that engines that are not sure about well-formed graphs should signal this fact.

PROPOSAL: Add a property sh:shapesGraphWellFormed which is set to true in the sh:ValidationReport object if the engine is certain that the shapes graph is passing all syntax requirements.

This proposal would give the implementers more freedom without sacrificing interoperability. It would allow for cases where the validation happens as part of each invocation or where the shapes graph is checked when installed.
Related Actions Items:
No related actions
Related emails:
  1. ISSUE-233: Added section on sh:shapesGraphWellFormed (from holger@topquadrant.com on 2017-02-23)
  2. shapes-ISSUE-233 (Shapes syntax checking): Should we require support for checking of well-formed shapes graphs? [SHACL Spec] (from sysbot+tracker@w3.org on 2017-02-21)

Related notes:

Resolution: https://www.w3.org/2017/02/22-shapes-minutes.html#item06

Holger Knublauch, 22 Feb 2017, 23:58:59

Display change log ATOM feed


Ted Thibodeau <tthibodeau@openlinksw.com>, Irene Polikoff <irene@topquadrant.com>, Chairs, Sandro Hawke <sandro@w3.org>, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.325 2014-09-10 21:42:02 ted Exp $