17:57:49 RRSAgent has joined #shapes 17:57:49 logging to http://www.w3.org/2015/04/23-shapes-irc 17:57:51 RRSAgent, make logs rdf-data-shapes 17:57:51 Zakim has joined #shapes 17:57:53 Zakim, this will be SHAPES 17:57:53 ok, trackbot; I see DATA_RDFWG()2:00PM scheduled to start in 3 minutes 17:57:54 Meeting: RDF Data Shapes Working Group Teleconference 17:57:54 Date: 23 April 2015 17:59:09 DATA_RDFWG()2:00PM has now started 17:59:16 +kcoyle 17:59:51 +pfps 18:00:06 pfps has joined #shapes 18:00:06 +Arnaud 18:00:28 +??P6 18:00:29 michel has joined #shapes 18:00:35 Labra has joined #shapes 18:00:42 zakim, ??P6 is me 18:00:42 +SimonSteyskal; got it 18:00:55 +OpenLink_Software 18:01:01 Zakim, OpenLink_Software is temporarily me 18:01:01 +TallTed; got it 18:01:03 Zakim, mute me 18:01:03 TallTed should now be muted 18:01:35 +michel 18:01:39 +aryman 18:01:53 +[IPcaller] 18:01:59 Greetings. 18:02:04 zaim, [IPcaller] is labra 18:02:07 aryman has joined #shapes 18:02:11 zakim, [IPcaller] is labra 18:02:11 +labra; got it 18:02:44 Arnaud1 - you may want to nick-shift, to make the minutes happier 18:03:23 Zakim, unmute me 18:03:23 TallTed should no longer be muted 18:03:49 zakim, who's on the phone? 18:03:49 On the phone I see kcoyle, pfps, Arnaud, SimonSteyskal, TallTed, michel, aryman, labra 18:04:56 Dimitris has joined #shapes 18:05:46 + +30694579aaaa 18:06:00 zakim, 30694579aaaa is me 18:06:00 sorry, Dimitris, I do not recognize a party named '30694579aaaa' 18:06:27 zakim, aaaa is Dimitris 18:06:27 +Dimitris; got it 18:06:55 scribe: Dimitris 18:06:59 chair: Arnaud 18:07:01 Arnaud: Let's start 18:07:07 agenda: https://www.w3.org/2014/data-shapes/wiki/Meetings:Telecon2015.04.23 18:07:11 topic: Admin 18:07:31 .. approval of minutes from last week 18:07:37 Minutes look fine to me :-) 18:07:40 PROPOSED: Approve minutes of the 16 April Telecons: http://www.w3.org/2015/04/16-shapes-minutes.html 18:07:50 APPROVED: Approve minutes of the 16 April Telecons: http://www.w3.org/2015/04/16-shapes-minutes.html 18:07:52 -- minutes approved 18:08:17 cygri has joined #shapes 18:08:49 zakim, code? topic: User Stories 18:08:49 the conference code is 742737 (tel:+1.617.761.6200 sip:zakim@voip.w3.org), cygri 18:09:00 hknublau has joined #shapes 18:09:30 Arnaud: we have one user story not approved, Arthur any progress? 18:10:02 +q 18:10:10 Is this S40 or some requirement? 18:10:13 +[IPcaller] 18:10:20 S40 18:10:27 https://www.w3.org/2014/data-shapes/wiki/User_Stories#S40_Describing_Inline_Content_versus_References 18:10:33 Zakim, [IPcaller] is me 18:10:33 +hknublau; got it 18:10:36 S40 Describing Inline Content versus References 18:10:39 aryman: Peter is correct, this user story does not necessarily lead to validation but that's not the whole meaning of Shapes 18:10:42 +[IPcaller] 18:10:47 q+ 18:10:49 zakim, [IPcaller] is me 18:10:49 +cygri; got it 18:11:15 ack kcoyle 18:11:37 Is this a requirement or a user story?? 18:11:40 kcoyle: this is definitely a requirement we have in DC 18:12:16 ... we need to know if the value exists of we need to dereference 18:12:25 ack pfps 18:12:29 ... it is important for us to have this 18:13:14 q+ 18:13:17 pfps: My concerns have been validated, is confusing if this is a requirement or a user story. 18:13:20 ack aryman 18:13:58 aryman: Indeed parts are worded as requirement, I can adjust to a user story 18:15:18 Arnaud: update the story with new text and we can vote for approval 18:16:39 pfps: take what Karen wrote and put it in front 18:18:33 Arnaud: Anything the UCR editors want to add? 18:18:35 As far as I know, the editors' job is to edit the Editor's Draft. 18:19:06 ... you are free to keep working on the document 18:19:39 ... when you feel you have an improvement we can re-publish topic: Requirements 18:20:36 ISSUE-46? 18:20:36 ISSUE-46 -- Support for RDF Collections? -- raised 18:20:36 http://www.w3.org/2014/data-shapes/track/issues/46 18:20:44 ... any gaps you find in the document bring them to the working group 18:21:12 q+ 18:21:17 ack cygri 18:22:39 cygri: one of the stories that mention rdf lists and I was planning to go through the requirements and see if this is captured. I am willing to propose requirements to capture RDF collections 18:22:49 Fine by me to include requirements for RDF collections/lists 18:22:59 PROPOSED: Open ISSUE-46: Support for RDF Collections? 18:23:03 +1 18:23:05 +1 18:23:07 +1 18:23:08 +1 18:23:08 +1 18:23:09 +1 18:23:20 +1 18:23:22 +1 18:23:29 RESOLVED: Open ISSUE-46: Support for RDF Collections? 18:23:57 ACTION: cygri to add requirement(s) for RDF collections to address ISSUE-4 18:23:57 Created ACTION-19 - Add requirement(s) for rdf collections to address issue-4 [on Richard Cyganiak - due 2015-04-30]. 18:25:08 PROPOSED: close ISSUE-35 per Jose's suggestion to add a requirement as detailed in email: https://lists.w3.org/Archives/Public/public-data-shapes-wg/2015Apr/0218.html 18:25:14 +1 18:25:15 +1 18:25:16 +1 18:25:21 issue-35? 18:25:21 issue-35 -- Language-tags -- open 18:25:21 http://www.w3.org/2014/data-shapes/track/issues/35 18:25:33 +1 18:25:45 +1 18:25:50 +q to ask who is going to add the requirement 18:25:53 +1 18:25:58 ack Labra 18:25:58 Labra, you wanted to ask who is going to add the requirement 18:26:26 labra: who is going to split the requirement? I am willing to do this 18:26:30 RESOLVED: close ISSUE-35 per Jose's suggestion to add a requirement as detailed in email: https://lists.w3.org/Archives/Public/public-data-shapes-wg/2015Apr/0218.html 18:26:33 +1 18:27:07 Arnaud: Jose will take the action item to do this 18:27:39 q+ 18:27:43 No Eric and nothing added to the requirement on the wiki page 18:28:39 Arnaud: closed shapes requirement is not approved yet 18:29:10 ack aryman 18:29:40 2.6.11 Expressivity: Closed Shapes https://www.w3.org/2014/data-shapes/wiki/Requirements#Expressivity:_Closed_Shapes 18:30:02 aryman: Server should not reject unrecognised content. It should identify it. 18:30:08 I'm still waiting for a workable specification of what closed shapes might mean. 18:31:15 TallTed: I will approve what is currently stated in the requirement it needs rewording 18:31:25 q+ 18:31:31 ack aryman 18:32:02 http://www.w3.org/2015/ShExpressivity#coverageEtc is very tied to a particular version of ShEx 18:32:41 i meant regarding the general idea of closed shapes 18:33:00 ACTION: ericP update description of 2.6.11 Expressivity: Closed Shapes to address concerns expressed to date 18:33:01 Created ACTION-20 - Update description of 2.6.11 expressivity: closed shapes to address concerns expressed to date [on Eric Prud'hommeaux - due 2015-04-30]. 18:33:03 Arnaud, did we skip another raised issue, #45? Arnaud: no, I deferred it to the SHACL section of the agenda, which is now topic: SHACL Spec 18:33:06 s/ I will approve what is currently stated in the requirement it needs rewording/I approve of the concept of the requirement, but I cannot approve as currently worded/ 18:34:18 ISSUE-45? 18:34:18 ISSUE-45 -- Should SPARQL be a built-in extension language -- raised 18:34:18 http://www.w3.org/2014/data-shapes/track/issues/45 18:34:24 Arnaud: we leave this open for now until Erik works on it 18:34:37 q+ 18:35:00 ... There was a lot of discussion even for what built-in means 18:35:02 ack aryman 18:35:04 I'm in favour of opening ISSUE-45 18:35:40 +1 for opening ISSUE-45 18:35:45 ... should we open this? maybe people want to clarify the description 18:35:51 ISSUE-45? 18:35:51 ISSUE-45 -- Should SPARQL be a built-in extension language -- raised 18:35:51 http://www.w3.org/2014/data-shapes/track/issues/45 18:36:16 PROPOSED: Open ISSUE-45, Should SPARQL be a built-in extension language 18:36:20 +1 18:36:20 +1 18:36:24 0 18:36:25 +1 18:36:29 +1 18:36:29 +1 18:36:30 +1 18:36:42 +1 18:36:49 +1 18:36:56 0 18:37:09 RESOLVED: Open ISSUE-45, Should SPARQL be a built-in extension language 18:37:38 Arnaud: we have a long list of open issues 18:38:13 ISSUE-30? 18:38:13 ISSUE-30 -- Are shapes and data in the same graph? -- open 18:38:13 http://www.w3.org/2014/data-shapes/track/issues/30 18:38:17 ... I suggest we talk about ISSUE-30 18:38:28 q+ 18:39:04 cygri: this is one of the differences between the various proposals. This is a yes / no option 18:40:00 ... option 1: data and shapes are in the same graph 18:40:19 ... option 2: are in the same dataset but in different graphs 18:40:35 ... option 3: the don't need to be in the same system 18:41:26 Arnaud: in the 3rd option the spec will be silent on this? 18:41:29 q+ 18:42:09 As far as I can see, data and shapes in the same graph rules out quite a number of use cases, unless SHACL has to construct union graphs whenever the data and the shapes come from different sources. 18:42:11 cygri: we coudn't assume they are in the same dataset 18:42:14 ack pfps 18:42:49 pfps: option 1 is impossible for most use cases. This rules-out option 2 as well. The only viable option is option 3 18:43:16 ... we can either require to be different or be agnostic and I think being agnostic is better 18:43:54 cygri: why is option 2 ruled out? 18:44:29 pfps: when I use an external dataset I would have to copy the whole dataset 18:44:44 ... for example I would have to copy the whole DBpedia 18:45:13 ack aryman 18:45:33 Aryman: option 1 is unworkable 18:45:42 -michel 18:46:19 +q 18:46:24 ack hknublau 18:46:41 *I missed arthurs last comment* 18:46:54 hknublau: option 2 is working 18:47:03 +q 18:47:25 my comment is that this is a language binding issue 18:47:31 hknublau: it can use a different strategy in other cases 18:47:48 the question is "What data does the SHACL engine has access to?" 18:48:01 ... we just need to create a graph interface and it is implementable 18:48:24 The SHACL engine has access to the graph being validated, and the definition of the Shape 18:48:25 ... engines can optimize 18:48:32 ack Dimitris 18:50:07 dimitris: I am option 3, except ShEx shapes everything is implementable 18:50:19 and for ShEx shapes it depends on the definition details 18:50:38 +q 18:50:47 Arnaud: which option do you prefer or are you neutral 18:51:04 q+ 18:51:21 cygri: The current spec uses option 2. Option 3 is easier to specify in the document 18:51:49 ... option 2 gives you a lot of power in writing templates 18:51:56 q+ 18:51:57 ... which pretty nice 18:52:10 ... option 3 limits what you can do in templates 18:52:14 +q 18:52:31 ... the template would not have flexibility to check the graph 18:52:54 ... and get all information needed 18:53:10 ack Labra 18:53:10 Option 2 requires support, option 3 doesn't, which is one reason that I prefer option 3 18:53:17 ... it is difficult to go into details now 18:53:31 labra: I am in favour of option 3 18:54:14 ... my implementation of ShEx supports SPARQL endpoints and it is better to have the freedom 18:54:16 Option 2 and 3 are equally agnostic. 18:54:19 ack aryman 18:54:25 q- 18:55:01 aryman: extension like SPARQL are not RDF 18:55:10 ... and cannot be queried 18:56:43 cygri: the language specific extension would be able to query the shapes 18:58:44 aryman: for instance javascript would we have predefined (magic) variables that we have to rely on? 18:58:55 ack Dimitris 18:58:57 magic variables, triple or functions 18:58:59 q+ 18:59:52 ack cygri 19:00:27 dimitris: templates can be defined depending on the local setup and could be able to read the shapes or the data graph 19:00:43 cygri:templates should be global and exchangable 19:01:06 q+ 19:01:51 ... Arthur, this is SPARQL specific, even we we say something for SPARQL we might define something completely different for javascript 19:01:59 ack aryman 19:02:42 aryman: the issue should be how do you the context to the extension mechanism ... and SPARQL may not be the only language that can use to define extensions 19:02:53 PROPOSED: Close ISSUE-30 making SHACL agnostic on this point 19:03:11 ... and we shoudn't rely on SPARQL only 19:03:17 0 19:03:18 +1 19:03:18 +1 19:03:22 +1 19:03:25 +1 19:03:29 +1 19:03:31 +1 19:03:31 -1 I don’t see how this could work 19:04:28 q+ 19:04:38 hknublau: this leave the topic undefined. How can we access the shapes graph? 19:04:40 ack pfps 19:04:59 pfps: I am confused on your proposal 19:05:07 q+ 19:05:28 ack cygri 19:05:29 arnaud: no, shacl is agnostic on the shapes and data graph 19:06:04 The proposal is then to make SHACL admit the possibility that the data graph and the shape graph are completely separate, i.e., queries against the data graph might not have any access to the shape graph. 19:06:04 draft PROPOSAL: Close ISSUE-30 making SHACL agnostic as to whether ShapeGraph is contained within Target DataSet -- permitting either. We will later determine how to specify which is the current case, and how mechanisms work with the two... 19:06:25 ... I tried to capture what people said which is option 3 19:06:41 q+ 19:06:42 I like Ted's restatement 19:07:03 ack aryman 19:07:35 aryman: draft proposal: Specify how invocation parameters and context variable are made available to custom constraints written in SPARQL, or other languages 19:07:39 draft PROPOSAL: Close ISSUE-30 and instead raise a new one: Can SPARQL-based constraints access the shape graph, and how? 19:08:13 +1 to cygri, or just rename the current issue 19:08:19 Ted's draft proposal doesn't say anything about SPARQL, so I don't see why it needs this kind of change 19:09:01 s/this/Arthur's/ 19:09:07 PROPOSED: Close ISSUE-30 making SHACL agnostic as to whether ShapeGraph is contained within Target DataSet -- permitting either. We will later determine how to specify which is the current case, and how extension mechanisms work with the two 19:09:20 -1 19:10:05 +q 19:10:35 cygri: this implies that the extension mechanisms are not part of SHACL 19:10:36 ack hknublau 19:10:38 draft PROPOSAL: Close ISSUE-30 making SHACL agnostic as to whether ShapeGraph is contained within Target DataSet -- permitting either. We will later determine how to specify whether the current ShapeGraph is within DataSet, and thus how SHACL and any extension mechanism(s) can act on that specification. 19:10:47 -1 to Arnaud's proposal 19:11:16 hknublau: In my proposal I define the function hasShape() which is independent 19:12:36 In my view a pure Option 3 is workable, and proposals that presuppose a mechanism to access the shapes from the data graph do not ft into Option 3 19:13:26 cygri: we could close ISSUE-30 and raise an issue with the other question 19:13:38 richard: you could just enter the new issue right now, so that we can see what it would look like 19:13:39 I also think option 3 is workable 19:13:40 PROPOSAL: Close ISSUE-30 as is/unanswered 19:13:47 @pfps Option 3 is throwing away too much useful stuff, like RDFS not be able to query classes 19:13:48 +1 19:13:54 +1 19:13:57 +1 19:13:58 +1 19:14:00 +0.1 19:14:04 +1 19:14:05 +1 19:14:15 0- 19:14:30 I plan to immediately raise a new issue: “Can SPARQL-based constraints access the shape graph, and how?” 19:14:55 RESOLVED: Close ISSUE-30 as is/unanswered 19:15:24 cygri: I am not interested in javascript 19:15:40 ... for the high level language it is not meaningful to ask this 19:16:09 tallted: if we ask this for SPARQL only people might misinterpret 19:16:25 Ted, raise your own bloody issue ;-) 19:17:14 arnaud: Ted, if you don;t like this you can object to opening this 19:17:41 ISSUE-27? 19:17:41 ISSUE-27 -- Can extension constraints be used in the high-level language? -- open 19:17:41 http://www.w3.org/2014/data-shapes/track/issues/27 19:17:43 yep 19:18:45 q+ 19:18:49 arnaud: are we free to mix extensions with the high level vocabulary? 19:18:51 ack aryman 19:19:24 aryman: I think that yes we want to be able to define template used in a similar manner as the high level languges 19:20:11 PROPOSED: Close ISSUE-27 by saying yes: extension constraints can be used in the high-level language 19:20:16 +1 19:20:17 +1 19:20:23 +1 19:20:25 +1 19:20:29 +1 19:20:31 +1 19:20:31 0 19:20:47 +1 19:20:58 How do closed issues link back to resolutions? 19:21:28 +1 19:21:31 OK, it's all manual 19:21:46 Boo to tracker, then 19:21:48 arnuad: I manually close the issues with links to resolutions 19:21:49 RESOLVED: Close ISSUE-27 by saying yes: extension constraints can be used in the high-level language 19:22:08 ISSUE-23? 19:22:08 ISSUE-23 -- Shapes, classes and punning -- open 19:22:08 http://www.w3.org/2014/data-shapes/track/issues/23 19:23:06 arnaud: in the F2F meeting we discussed about using something like punning 19:23:08 q+ 19:23:16 ack pfps 19:23:41 pfps: Not so easy now. I am not sure if punning is going to help any more 19:24:01 q+ 19:24:24 ... in rdf we cannot say that shapes cannot be classes, we can just add a type arc 19:24:31 ack aryman 19:24:33 ... the question is if it has a special meening 19:24:54 aryman: we can't prevent people from stating a shape is a class 19:25:12 To me the issue boils down to whether being a class is somehow special for SHACL shapes (or other SHACL stuff) 19:25:13 the question is: do we want to encourage it. 19:26:01 arnaud: Holger's initial proposal relied on the type arc 19:26:16 Yes, whether rdf:type from a node to a shape is special to SHACL is part of this issue. 19:27:10 The class-related link rdfs:subClassOf is also involved here. 19:27:37 cygri: my view hasn't changed much. It is correct to say that we cannot prevent people to use shapes as classes 19:28:24 ... Should the spec take a stand on this? should we consider this as a valid way to do this 19:28:27 To me, it's not whether this is a good thing or a bad thing. It is whether there are any SHACL consequences. 19:29:00 ... I would like us to enable us to be able to have a single resource for a class and a shape 19:29:13 +q 19:29:14 q+ 19:29:21 q+ 19:29:23 ack hknublau 19:29:28 q- 19:29:46 hknublau: I would find it more productive to look at specific proposals 19:30:11 .. what we discuss now looks unspecific 19:30:17 ack TallTed 19:30:41 TallTed: similar feeling. We have a huge pile of questions here 19:31:08 ... it is difficult to make a way. 19:31:26 ... I like well defined classes 19:32:33 arnaud: I encourage people to make proposals, we can still leave this issue as umbrella for this question 19:32:54 -cygri 19:32:55 -aryman 19:32:55 -kcoyle 19:32:57 -Dimitris 19:32:57 -hknublau 19:32:58 s/I like well defined classes/well-defined classes could be used easily as shapes; poorly defined classes, not so much/ 19:32:58 -pfps 19:32:58 -Arnaud 19:32:59 -labra 19:33:04 regrets: ericP 19:33:08 Dimitris has left #shapes 19:33:09 -TallTed 19:33:17 trackbot, end meeting 19:33:17 Zakim, list attendees 19:33:17 As of this point the attendees have been kcoyle, pfps, Arnaud, SimonSteyskal, TallTed, michel, aryman, labra, +30694579aaaa, Dimitris, hknublau, cygri present: kcoyle, pfps, Arnaud, SimonSteyskal, TallTed, michel, aryman, labra, Dimitris, hknublau, cygri 19:33:25 RRSAgent, please draft minutes 19:33:25 I have made the request to generate http://www.w3.org/2015/04/23-shapes-minutes.html trackbot 19:33:26 RRSAgent, bye 19:33:26 I see 2 open action items saved in http://www.w3.org/2015/04/23-shapes-actions.rdf : 19:33:26 ACTION: cygri to add requirement(s) for RDF collections to address ISSUE-4 [1] 19:33:26 recorded in http://www.w3.org/2015/04/23-shapes-irc#T18-23-57 19:33:26 ACTION: ericP update description of 2.6.11 Expressivity: Closed Shapes to address concerns expressed to date [2] 19:33:26 recorded in http://www.w3.org/2015/04/23-shapes-irc#T18-33-00