ISSUE-96: Should the validation results contain stable IDs to indicate the type of violation

Violation IDs

Should the validation results contain stable IDs to indicate the type of violation

State:

CLOSED

Product:

SHACL Spec

Raised by:

Holger Knublauch

Opened on:

2015-09-29

Description:

In a recent call Harold mentioned that some systems define stable error codes (e.g. numeric codes) to communicate the type of error that has happened. Tools can then display and analyze codes produced by different systems uniformly. I believe SHACL should provide similar capabilities. Without such unique Ids, we would not even be able to check compliance, because validation results that only contain something

[
sh:message "MinCount validation" ;
sh:focusNode ex:Instance1 ;
sh:predicate ex:property ;
]

cannot be reliably tracked or compared. For example they could also be produced as result of a sh:hasValue restriction, which is a very different case. Or there could be multiple identically looking instances that only differ in their message. Messages are a poor way of encoding IDs.

In the current results vocabulary, we are ambiguous about this aspect. We do have the ability to store additional metadata in each validation result, and there are pointers to the sh:sourceShape, sh:sourceConstraint and sh:sourceTemplate that may be used, but we probably should make this a stronger contract so that there is always one Id field present.

PROPOSAL: Validation results should include an ID for each constraint type. These should align with the URIs of the templates and node validation functions in the SHACL system vocabulary.

For example, we could add sh:constraintType sh:hasMinCount which is the function that does the actual test. Of course this does not mean that an implementation actually must use that function, but it provides a very natural and evolutionary design.

Related Actions Items:

No related actions

Related emails:

1. Some issues that may be close to resolution (from holger@topquadrant.com on 2016-04-06)
2. Re: ISSUE-95: Proposal for model simplifications (from holger@topquadrant.com on 2015-11-20)
3. Re: RDF Data Shapes WG agenda for 8 October 2015 (from pfpschneider@gmail.com on 2015-10-16)
4. Re: RDF Data Shapes WG agenda for 15 October 2015 (from holger@topquadrant.com on 2015-10-15)
5. Re: RDF Data Shapes WG agenda for 15 October 2015 (from pfpschneider@gmail.com on 2015-10-14)
6. Re: RDF Data Shapes WG agenda for 8 October 2015 (from kcoyle@kcoyle.net on 2015-10-08)
7. Re: RDF Data Shapes WG agenda for 8 October 2015 (from pfpschneider@gmail.com on 2015-10-08)
8. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from holger@topquadrant.com on 2015-10-07)
9. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from lehors@us.ibm.com on 2015-10-06)
10. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from kontokostas@informatik.uni-leipzig.de on 2015-10-06)
11. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from pfpschneider@gmail.com on 2015-10-06)
12. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from holger@topquadrant.com on 2015-10-06)
13. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from kontokostas@informatik.uni-leipzig.de on 2015-10-06)
14. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from holger@topquadrant.com on 2015-10-06)
15. Re: shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from pfpschneider@gmail.com on 2015-10-02)
16. Re: Turtle file (from holger@topquadrant.com on 2015-09-29)
17. shapes-ISSUE-96 (Violation IDs): Should the validation results contain stable IDs to indicate the type of violation [SHACL Spec] (from sysbot+tracker@w3.org on 2015-09-29)

Related notes:

Display change log