ISSUE-188: "Validation" needs to be defined

define validation

"Validation" needs to be defined

State:

CLOSED

Product:

Raised by:

Karen Coyle

Opened on:

2016-10-09

Description:

The term validation as used in SHACL needs to be defined. (The English language term is ambiguous.) The XML schema has a clear defiinition [1]. Based on that, I suggest the following as a definition of validation in SHACL:

[Definition:] Validation is the process of determining whether a node in the data graph obeys the constraints expressed in a shapes graph. The validation result is true when the node in the data graph obeys the constraints, and false when it does not.

Note that XML allows for 3 validation results: true, false, and undetermined. I do not know if SHACL also follows this pattern, so my true/false declaration above may need adjustment if that is the case. Here is what XML schema says:

Note: As just defined, validation produces not a binary result, but a ternary one: if the information item is ·strictly assessed·, it will be either valid or invalid, but if no applicable declaration is found, its validity will be unknown (and its [validity] property will have the value notKnown). Whether in a particular application notKnown should be treated in the same way as invalid or differently is outside the scope of this specification; sometimes one choice is appropriate, sometimes the other.


[1] See: https://www.w3.org/TR/2012/REC-xmlschema11-1-20120405/#key-vn

Related Actions Items:

No related actions

Related emails:

1. Re: ISSUE-188: Switched to "conforms" (from holger@topquadrant.com on 2016-11-20)
2. Re: ISSUE-188: Switched to "conforms" (from kcoyle@kcoyle.net on 2016-11-19)
3. Re: ISSUE-188: Switched to "conforms" (from kcoyle@kcoyle.net on 2016-11-19)
4. ISSUE-188: Switched to "conforms" (from holger@topquadrant.com on 2016-11-17)
5. Re: FW: shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from holger@topquadrant.com on 2016-10-18)
6. Re: FW: shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from kcoyle@kcoyle.net on 2016-10-17)
7. FW: shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from irene@topquadrant.com on 2016-10-17)
8. Re: shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from kcoyle@kcoyle.net on 2016-10-17)
9. Re: shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from kcoyle@kcoyle.net on 2016-10-17)
10. Re: shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from irene@topquadrant.com on 2016-10-17)
11. Re: shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from holger@topquadrant.com on 2016-10-17)
12. shapes-ISSUE-188 (define validation): "Validation" needs to be defined (from sysbot+tracker@w3.org on 2016-10-09)

Related notes:

Display change log