ISSUE-158: ill-typed literals do not always trigger a validation result

ill-typed literals and sh:datatype

ill-typed literals do not always trigger a validation result

State:
CLOSED
Product:
SHACL - Core
Raised by:
Peter Patel-Schneider
Opened on:
2016-04-29
Description:
The node ex:i1 in
ex:i1 ex:p "c"^^xsd:integer
validates against
ex:s1 a sh:Shape ;
sh:property [ a sh:PropertyConstraint ; sh:predicate ex:p ; sh:datatype xsd:integer ] .

I think that it should not validate because "c" is not in the lexical space of the datatype xsd:integer.
Related Actions Items:
No related actions
Related emails:
  1. Re: ISSUE-158: Request to review change (from holger@topquadrant.com on 2016-11-01)
  2. Re: ISSUE-158: Request to review change (from kcoyle@kcoyle.net on 2016-10-31)
  3. Re: ISSUE-158: Request to review change (from kcoyle@kcoyle.net on 2016-10-31)
  4. ISSUE-158: Request to review change (from holger@topquadrant.com on 2016-10-31)
  5. Re: Please review the SHACL draft (was Re: Editing progress) (from holger@topquadrant.com on 2016-08-31)
  6. Re: shapes-ISSUE-158 (ill-typed literals and sh:datatype): ill-typed literals do not always trigger a validation result [SHACL - Core] (from holger@topquadrant.com on 2016-07-08)
  7. regrets and votes for RDF Data Shapes WG 5 May 2016 meeting (from eric@w3.org on 2016-05-05)
  8. shapes-ISSUE-158 (ill-typed literals and sh:datatype): ill-typed literals do not always trigger a validation result [SHACL - Core] (from sysbot+tracker@w3.org on 2016-04-29)

Related notes:

RESOLUTION: Close ISSUE-158, requiring implementations to check well-formedness for built-in datatypes covered in SPARQL 1.1 Query for sh:datatype
See https://www.w3.org/2016/10/26-shapes-minutes.html#resolution04

Arnaud Le Hors, 27 Oct 2016, 00:10:37

Display change log ATOM feed


Chair, 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: 158.html,v 1.1 2018/11/26 09:03:30 carine Exp $