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:

RESOLUTION: Close ISSUE-188, replace instances of "validates" meaning "is true" with a version of the verb "conforms"
See https://www.w3.org/2016/11/16-shapes-minutes.html#resolution08

Arnaud Le Hors, 22 Nov 2016, 10:03:24

Display change log ATOM feed


Irene Polikoff <irene@topquadrant.com>, Ted Thibodeau <tthibodeau@openlinksw.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 $