13:00:58 RRSAgent has joined #shapes 13:00:58 logging to http://www.w3.org/2017/02/08-shapes-irc 13:01:00 RRSAgent, make logs rdf-data-shapes 13:01:00 Zakim has joined #shapes 13:01:02 Zakim, this will be SHAPES 13:01:02 ok, trackbot 13:01:03 Meeting: RDF Data Shapes Working Group Teleconference 13:01:03 Date: 08 February 2017 13:01:10 present+ 13:01:34 TallTed has joined #shapes 13:01:41 present+ 13:02:12 ipolikoff has joined #shapes 13:02:57 present+ 13:03:42 present+ 13:03:51 present+ 13:09:34 scribe: simonstey 13:09:42 chair: TallTed 13:09:49 Topic: approval of last week's minutes 13:09:50 PROPOSED: Approve minutes of the 01 Feb 2017 Telecon: https://www.w3.org/2017/02/01-shapes-minutes.html 13:10:00 +1 13:10:03 +1 13:10:06 +1 13:10:13 RESOLVED: Approve minutes of the 01 Feb 2017 Telecon: https://www.w3.org/2017/02/01-shapes-minutes.html 13:11:00 hknublau: we have a new member on the call 13:11:29 tim: Tim Smith, working on semantics since the late 90s 13:12:02 ... I've seen many many use cases that could benefit from the results of this wg 13:14:47 TallTed: I don't see your organization listed as w3c member yet 13:15:00 tim: our membership was approved on feb. 2nd 13:16:15 tsmith6 has joined #shapes 13:16:26 https://www.w3.org/2014/data-shapes/wiki/How_to_Join 13:18:58 TallTed: a few new issues have been raised 13:18:59 https://www.w3.org/2014/data-shapes/track/issues/raised 13:19:16 issue-223 13:19:16 issue-223 -- Should we disallow shapes with mismatching type -- raised 13:19:16 http://www.w3.org/2014/data-shapes/track/issues/223 13:19:21 issue-224 13:19:21 issue-224 -- Can we improve the language around the use of rdf:types for shapes -- raised 13:19:21 http://www.w3.org/2014/data-shapes/track/issues/224 13:19:26 issue-225 13:19:26 issue-225 -- Respond to "Validation results and reports" -- raised 13:19:26 http://www.w3.org/2014/data-shapes/track/issues/225 13:19:57 PROPOSED: OPEN issues issue-223, issue-224, issue-225 13:20:01 +1 13:20:06 +1 13:20:11 +1 13:20:13 +1 13:20:15 +1 13:20:29 +1 13:20:29 RESOLVED: OPEN issues issue-223, issue-224, issue-225 13:21:05 topic: discussing responses to public comments 13:21:58 hknublau: I opened issues for some of the more substantial comments 13:22:29 TOPIC: issue-223 13:23:42 q+ 13:24:18 hknublau: in the example stated in the issue, a nodeshape defines a sh:path -> is also a propertyshape 13:25:07 ... currently that's allowed, but might be confusing for others 13:25:35 ack ipolikoff 13:26:05 ipolikoff: I think, currently the spec disallows a construct like that 13:26:16 ... but not clear enough 13:27:46 simonstey: (Summary of the email that I sent today) 13:28:10 wasn't that about issue-139? 13:29:54 issue-139? 13:29:54 issue-139 -- Can all constraint properties be applied in all scenarios? -- closed 13:29:54 http://www.w3.org/2014/data-shapes/track/issues/139 13:31:41 PROPOSED: CLOSE issue-223 by adding two syntax rules: a) SHACL instances of sh:NodeShape cannot have values for sh:path; b) SHACL instances of sh:PropertyShape must have a value for sh:path 13:31:55 +1 13:31:56 hknublau: we could provide shapes to verify our syntax rules.. but that's a huge undertaking we don't really have time for 13:32:08 +1 13:32:09 +1 13:32:13 +1 13:32:26 +1 13:32:26 +1 13:32:40 RESOLVED: CLOSE issue-223 by adding two syntax rules: a) SHACL instances of sh:NodeShape cannot have values for sh:path; b) SHACL instances of sh:PropertyShape must have a value for sh:path 13:33:05 hknublau: unfortunately, there are a lot of rules that are very hard to actually check 13:33:30 ... but most of them are easy to check 13:33:38 topic: issue-224 13:33:54 issue-224? 13:33:54 issue-224 -- Can we improve the language around the use of rdf:types for shapes -- open 13:33:54 http://www.w3.org/2014/data-shapes/track/issues/224 13:33:56 hknublau: that issue is also about the relation between node-/propertyshapes 13:34:42 ipolikoff: two people said that the current language is weird 13:35:02 ... because you can have type declarations for node/propertyshapes 13:35:27 ... but they aren't used for determining the actual type 13:35:56 ... proposal would be to RECOMMEND the use of type declarations 13:37:51 TallTed: when the type statement isn't the declaration.. what is? 13:42:03 hknublau: I think it would be sufficient to adapt SHOULD for half of the examples 13:42:46 TallTed: but that raises the question of how you select those 13:44:21 hknublau_ has joined #shapes 13:46:46 simonstey: I propose to remove "However, the presence of any rdf:type triple does not determine whether a node is treated as a node shape or not. " 13:46:56 PROPOSED: CLOSE issue-224 by deleting two instances of "However, the presence of any rdf:type triple does not determine whether a node is treated as a node shape or not."; making SHOULD uppercase in the sh:NodeShape and sh:PropertyShape definition; and by adding rdf:type statements to most if not all examples 13:47:51 ... not sure if we should also change should to SHOULD 13:49:01 TallTed: the difference is whether its defining behaviour or syntax 13:49:38 The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in RFC 2119. 13:49:46 https://www.ietf.org/rfc/rfc2119.txt 13:50:35 PROPOSED: CLOSE issue-224 by deleting two instances of "However, the presence of any rdf:type triple does not determine whether a node is treated as a node shape or not."; changing "should" to "is recommended, but not required," in the sh:NodeShape and sh:PropertyShape definitions; and by adding rdf:type statements to most if not all examples 13:50:49 +1 13:50:51 +1 13:51:05 +1 13:51:09 +1 13:51:09 +1 13:51:34 +1 13:51:39 RESOLVED: CLOSE issue-224 by deleting two instances of "However, the presence of any rdf:type triple does not determine whether a node is treated as a node shape or not."; changing "should" to "is recommended, but not required," in the sh:NodeShape and sh:PropertyShape definitions; and by adding rdf:type statements to most if not all examples 13:52:29 TallTed: soo.. we have a question on prebinding and one on validation reports 13:53:15 issue;225? 13:53:17 hknublau_: andy & peter are still discussing the prebinding issue.. so better start with the validation reports first 13:53:19 issue-225 13:53:19 issue-225 -- Respond to "Validation results and reports" -- open 13:53:19 http://www.w3.org/2014/data-shapes/track/issues/225 13:53:25 q+ 13:53:49 ack ipolikoff 13:55:36 ipolikoff: [giving some background info on the nature of the issue] 13:56:05 +q 13:56:33 for example, Each results structure in results(f,V,D,c,s,S) where c has type sh:ClassConstraintComponent and parameter values contains a different top-level validation result from f,v,D,c,s,S for each v in V that is not a SHACL instance of c in D and no other top-level validation results. 13:57:25 hknublau_: peter mentions 3 parts explicitely 13:58:11 ... we could address 2) fairly easily by putting some boilerplate text in the spec 13:59:22 TallTed: the cleanest way to address the comments would be to raise an issue for all concret ones 14:00:43 -q 14:01:21 ... let's discuss/address/resolve those issues next week 14:02:21 ipolikoff: there was also a comment on whether "shapes graph" is defined too narrowly 14:04:45 issue-139? 14:04:45 issue-139 -- Can all constraint properties be applied in all scenarios? -- closed 14:04:45 http://www.w3.org/2014/data-shapes/track/issues/139 14:04:56 TallTed: if this issue was somehow already discussed before, then we should use the results of that discussion as response 14:05:05 TOPIC: issue-139 14:05:45 hknublau_: this issue was discussed for ~1 month.. i.e. whether every constraint component could be used anywhere 14:06:07 ... it helped to unify definitions 14:06:55 ... I don't think we should have to write testcases and/or spend too much time on that 14:07:06 holger's mail -- https://lists.w3.org/Archives/Public/public-data-shapes-wg/2017Feb/0012.html 14:07:10 q+ 14:07:18 ... I've provided a list of constraint components that can't be used with nodeshapes 14:07:25 ack tsmith6 14:07:28 ack tsmith6 14:07:33 ack tsmith 14:08:19 tsmith6: as a relative novice reading through the spec, I was very confused about the possibility of defining e.g. mincount for nodeshapes 14:08:40 ... and was wondering when this would actually make sense 14:12:09 PROPOSED: reopen ISSUE-139, motivated by surrounding changes in SHACL spec 14:12:14 +1 14:12:31 +1 14:12:33 +1 14:12:33 +1 14:12:57 +1 14:12:59 RESOLVED: reopen ISSUE-139, motivated by surrounding changes in SHACL spec 14:13:41 PROPOSED: CLOSE ISSUE-139 by declaring that NodeShapes are ill-formed if they use any of the properties listed in https://lists.w3.org/Archives/Public/public-data-shapes-wg/2017Feb/0012.html 14:13:55 +1 14:13:59 +1 14:14:04 +1 14:14:04 +1 14:14:05 +1 14:14:22 RESOLVED: CLOSE ISSUE-139 by declaring that NodeShapes are ill-formed if they use any of the properties listed in https://lists.w3.org/Archives/Public/public-data-shapes-wg/2017Feb/0012.html 14:17:35 trackbot, close meeting 14:17:35 Sorry, TallTed, I don't understand 'trackbot, close meeting'. Please refer to for help. 14:17:40 TallTed: I encourage everyone to reread the spec 14:17:41 trackbot, end meeting 14:17:41 Zakim, list attendees 14:17:41 As of this point the attendees have been hknublau, Nicky, simonstey, TallTed, ipolikoff 14:17:49 RRSAgent, please draft minutes 14:17:49 I have made the request to generate http://www.w3.org/2017/02/08-shapes-minutes.html trackbot 14:17:50 RRSAgent, bye 14:17:50 I see no action items 14:18:23 RRSAgent has joined #shapes 14:18:23 logging to http://www.w3.org/2017/02/08-shapes-irc 14:18:30 RRSAgent, make logs public 14:19:04 trackbot, start meeting 14:19:07 RRSAgent, make logs rdf-data-shapes 14:19:10 Zakim, this will be SHAPES 14:19:10 Meeting: RDF Data Shapes Working Group Teleconference 14:19:10 Date: 08 February 2017 14:19:10 ok, trackbot 14:19:27 RRSAgent, make logs public 14:19:45 rrsagent, draft minutes 14:19:46 I have made the request to generate http://www.w3.org/2017/02/08-shapes-minutes.html simonstey 14:20:11 RRSAgent, make minutes public 14:20:11 I'm logging. I don't understand 'make minutes public', TallTed. Try /msg RRSAgent help 14:20:29 trackbot, end meeting 14:20:29 Zakim, list attendees 14:20:29 As of this point the attendees have been hknublau, Nicky, simonstey, TallTed, ipolikoff 14:20:37 RRSAgent, please draft minutes 14:20:37 I have made the request to generate http://www.w3.org/2017/02/08-shapes-minutes.html trackbot 14:20:38 RRSAgent, bye 14:20:38 I see no action items