17:59:09 RRSAgent has joined #shapes 17:59:09 logging to http://www.w3.org/2015/04/02-shapes-irc 17:59:11 RRSAgent, make logs rdf-data-shapes 17:59:11 Zakim has joined #shapes 17:59:13 Zakim, this will be SHAPES 17:59:13 ok, trackbot; I see DATA_RDFWG()2:00PM scheduled to start in 1 minute 17:59:14 Meeting: RDF Data Shapes Working Group Teleconference 17:59:14 Date: 02 April 2015 18:00:42 zakim, this is shapes 18:00:42 ok, Arnaud; that matches DATA_RDFWG()2:00PM 18:00:48 zakim, who's on the phone? 18:00:48 On the phone I see ??P2, pfps, +1.510.435.aaaa, Arnaud 18:00:51 zakim, ??P2 is me 18:00:52 +SimonSteyskal; got it 18:01:11 - +1.510.435.aaaa 18:01:23 +??P8 18:01:25 -??P8 18:01:26 that was me, then i hit the wrong button. i'll be back 18:01:43 +??P4 18:02:07 + +1.510.435.aabb 18:02:09 Labra has joined #shapes 18:02:14 zakim, aabb is me 18:02:14 +kcoyle; got it 18:02:16 zakim, ??P4 is ericP 18:02:16 +ericP; got it 18:02:48 +[IPcaller] 18:02:49 +??P8 18:02:56 -??P8 18:03:13 +??P8 18:03:24 zakim, IPcaller is labra 18:03:24 +labra; got it 18:03:47 hknublau has joined #shapes 18:04:04 -??P8 18:04:24 +[IPcaller] 18:04:30 hsolbrig has joined #shapes 18:04:30 zakim, who's on the phone? 18:04:30 On the phone I see SimonSteyskal, pfps, Arnaud, ericP, kcoyle, labra, [IPcaller] 18:04:40 zakim, IPcaller is hsolbrig 18:04:41 + +30694579aacc 18:04:41 +hsolbrig; got it 18:04:52 zakim, +30694579aacc is me 18:04:52 +Dimitris; got it 18:05:40 +[IPcaller] 18:05:47 zakim, who's on the phone? 18:05:47 On the phone I see SimonSteyskal, pfps, Arnaud, ericP, kcoyle, labra, hsolbrig, Dimitris, [IPcaller] 18:06:03 Zakim, [IPcaller] is me 18:06:03 +hknublau; got it 18:06:03 zakim, ipcaller is hknublau 18:06:04 sorry, Arnaud, I do not recognize a party named 'ipcaller' 18:06:25 zakim, IPcaller is hknublau 18:06:25 sorry, SimonSteyskal, I do not recognize a party named 'IPcaller' 18:06:52 + +1.905.764.aadd 18:07:19 zakim, aadd is arthurRyman 18:07:19 +arthurRyman; got it 18:07:29 scribe: labra 18:07:32 chair: Arnaud 18:07:39 agenda: https://www.w3.org/2014/data-shapes/wiki/Meetings:Telecon2015.04.02 18:07:39 ArthurRyman has joined #shapes 18:07:51 Topic: Admin 18:07:55 PROPOSED: Approve minutes of the 26 March Telecon: http://www.w3.org/2015/03/26-shapes-minutes.html 18:08:02 minutes look fine 18:08:03 +1 18:08:09 RESOLVED: Approve minutes of the 26 March Telecon: http://www.w3.org/2015/03/26-shapes-minutes.html 18:08:21 +[OpenLink] 18:08:40 Zakim, [OpenLink] is temporarily me 18:08:40 +TallTed; got it 18:08:42 Zakim, mute me 18:08:42 TallTed should now be muted 18:08:49 pfps: would like a compilation of the resolutions 18:08:56 to have them in one place 18:09:09 ...to have all together 18:09:21 ...to search for a resolution 18:09:54 Arnaud: not committed to it...it should not be a lot of fork 18:10:01 s/fork/work 18:10:26 Arnaud: next conference next week 18:10:37 ...about next f2f in Toronto 18:10:49 ...asked Peter to host it in Waterloo 18:11:05 ...venue is set at Waterloo 18:11:20 ...there is a wiki page to indicate participation... 18:12:10 https://www.w3.org/2014/data-shapes/wiki/F2F3 18:12:47 Arnaud asks people to fill about their participation... 18:12:55 Topic: Tracking of actions and issues 18:13:03 no open actions... 18:14:01 most of the issues are about the spec 18:14:09 we can defer to later... 18:14:18 Topic: User stories 18:14:42 Editors have put together a draft ready for publication 18:15:03 ...publication schedule is in two days 18:15:09 tuesday probably 18:15:40 EricP: Will try to have it published tuesday 18:16:02 +[IPcaller] 18:16:13 zakim, [IPcaller] is me 18:16:13 +cygri; got it 18:16:19 zakim, mute me 18:16:19 cygri should now be muted 18:16:43 no, nothing else 18:16:59 Arnaud: proposed new stories 18:17:23 ...s42 18:17:26 q+ 18:17:28 ack me 18:17:48 ack pfps 18:17:59 queue= 18:18:10 https://www.w3.org/2014/data-shapes/wiki/User_Stories#S42:_Constraining_RDF_graphs_for_better_mapping_to_JSON 18:18:18 S42: Constraining RDF graphs for better mapping to JSON 18:18:19 pfps: sees it ok...why not? 18:18:37 PROPOSED: Approve S42: Constraining RDF graphs for better mapping to JSON 18:18:40 +1 18:18:41 +1 18:18:41 +1 18:18:42 +1 18:18:42 +1 18:18:42 +1 18:18:44 +1 18:18:45 +1 18:18:56 +1 18:18:56 RESOLVED: Approve S42: Constraining RDF graphs for better mapping to JSON 18:19:50 subTopic: user story S40 18:20:00 https://www.w3.org/2014/data-shapes/wiki/User_Stories#S40_Describing_Inline_Content_versus_References Arnaud: to be continued 18:20:19 Topic: Requirements 18:20:34 2.10.2 Human-readable Violation Messages 18:20:47 https://www.w3.org/2014/data-shapes/wiki/Requirements#Human-readable_Violation_Messages 18:21:51 EricP: Having a machine data structure is easy 18:22:18 ...but trying to cover the possible errors 18:22:25 it will be very complex 18:22:33 to put that in a data structure 18:22:36 q+ 18:22:52 EricP: if it is not in the core language then it isok 18:22:54 ack pfps 18:23:20 Peter: we should approve requirements independent if they are in the core or not... 18:23:52 Peter: something like the ability to include a string that can be filled with values... 18:24:07 +q 18:24:41 peter: is not sure if this feature should be part of SHACL at all 18:24:42 +q 18:24:51 he is happy to put it in a requirement... 18:25:01 so someone can try to satisfy it 18:25:15 ack Labra 18:26:09 +q 18:26:15 ack ArthurRyman 18:26:29 I agree that coming up with some data responses is much more important. 18:26:37 labra: I think it will be very complex to generate human readable messages 18:26:57 Jose presumes a solution, and then rejects this solution by saying it’s too complicated. This is not how you evaluate requirements. 18:27:01 I don't understand what Arthur said 18:27:02 ack hknublau 18:27:20 BartvanLeeuwen has joined #shapes 18:27:44 @cygri, no, that's not what I said...I say that it is out of scope 18:28:01 and too complex to try to do it in a right way 18:28:20 I couldn't hear Holger... 18:28:28 Holger, could you write it? 18:28:56 I was just saying that in our experience this is quite easy to implement using sh:message with template insertions. 18:29:23 I'm also happy to make this a soft goal - It's not as if this is a vital part of SHACL 18:29:46 +??P7 18:29:54 Zakim, ??P7 is me 18:29:54 +BartvanLeeuwen; got it 18:30:28 PROPOSED: Approve 2.10.2 Human-readable Violation Messages 18:30:35 +1 18:30:36 -1 18:30:37 +1 18:30:40 +1 18:30:43 +1 18:30:44 +0.5 18:30:47 +1 18:30:49 +1 18:30:49 -0.5 18:30:55 +1 18:30:57 0 18:31:13 RESOLVED: Approve 2.10.2 Human-readable Violation Messages 18:32:05 Arnaud: We can drop some requirements later 18:33:02 subTopic: Other requirements 18:33:20 2.6.11 Expressivity: Closed Shapes 18:33:25 Peter: the trouble of closed shapes is trying to figure what is the requirement 18:33:27 https://www.w3.org/2014/data-shapes/wiki/Requirements#Expressivity:_Closed_Shapes 18:34:06 EricP: some mechanism to determine which triples are not covered by the validation process 18:34:11 q+ 18:34:21 Peter: it covers at least 4 different possibilities 18:34:34 ...at least three different things 18:34:52 ack ArthurRyman 18:34:55 ...two of them from the algebraic semantics and at least one that isn't intractable 18:35:24 Arthur: my objection is not about the concept... 18:36:09 ...he is not objecting the capability 18:36:46 EricP: If there is some optional property and misspel it 18:38:31 +q 18:38:48 ack Labra 18:38:54 +1 on that hand-waved user story. also +1 on the requirement, as I understand it. 18:40:06 "all data that you give me must fit this shape. you gave me %THIS% data that doesn't fit. try again." 18:40:33 The user story could perhaps be addressed with another requirements that would be simpler, e.g., by a flag in the operations, rather than by a language feature. 18:41:12 Arnaud: lets move on 18:41:18 topic: SHACL spec 18:41:57 Arnaud: you guys need to get a life. 18:42:02 Arnaud: a couple of points that appear again and again 18:42:50 q+ 18:43:23 Arnaud: discussion about having SHACL depend on SPARQL engine 18:43:34 ...SHACL should be defined so it can be implemented in SPARQL 18:43:45 it can constraint the expressivity of the language 18:44:00 not everything can be implemented in SPARQL...recursion and things like that 18:44:11 ack pfps 18:45:01 peter: wether the high-level language needs SPARQL for implementation 18:45:32 Arnaud: it seems that there should be a mechanism to have a extension based on SPARQL 18:45:59 peter: high-level language does not require SPARQL engine to be implemented 18:46:30 PROPOSED: Implementation of "SHACL core" shall not require SPARQL 18:46:39 +1 18:46:39 +q 18:46:52 Should it be possible to implement SHACL inefficiently with SPARQL? 18:46:57 ack Labra 18:47:20 PROPOSED: Implementation of "SHACL high level" shall not require SPARQL 18:47:25 +1 18:47:28 +1 18:47:28 +1 18:47:29 +1 18:47:30 +1 18:47:31 +1 18:47:40 +0 18:47:44 +1 18:47:58 core could be seem as a profile 18:47:59 +1 18:48:00 Zakim, unmute me 18:48:00 TallTed should no longer be muted 18:48:09 +1 18:48:22 see sections 2-6 (I think) of Holger's spec 18:48:26 RESOLVED: Implementation of "SHACL high level" shall not require SPARQL 18:49:21 Arnaud: the other one, SHACL should not be limited to what can be implemented in SPARQl 18:49:33 PROPOSED: "SHACL highlevel" shall not be limited to what can be implemented in SPARQL 18:49:39 -1 18:49:42 +1 18:49:43 q+ 18:49:44 +1 18:49:48 +1 18:49:50 q+ 18:49:51 -1 18:49:53 q+ 18:49:58 -1 18:50:15 ack cygri 18:50:56 cygri: I am not sure that there is any requirements that can't be implemented in SPARQL 18:51:04 It seems to me that closed shapes are at least hard to implement in SPARQL 18:51:22 -1 18:51:30 if somebody brings a concrete that isn't implemented in SPARQL 18:51:43 Recursive shapes also don't fit in SPARQL, but there aren't any viable proposals for recursive shapes 18:51:45 @pfps depends on how closed shapes are defined. Just checking for property existence is easy. 18:51:47 -1 18:52:34 +q 18:52:55 ack ArthurRyman 18:53:24 Arthur: High-level language should be able to be implemented in SPARQL 18:53:56 ack pfps 18:54:18 Arthur: Basic constraints should be capable of implementation in SPARQL. However, the overall process of evaluating a Shape requires control structures beyond SPARQL, e.g. recursively following and processing valueShape links. 18:54:51 peter: I really want this kind of thing to work on the DBPEdia scale 18:55:30 I think that the proposal should be whether the guts of SHACL (i.e., the part that actually does stuff) can be done via a translation to SPARQL 18:55:39 ack Labra 18:55:43 Labra: some parts of the current spec that aren't covered by SPARLQ, e.g. recursive shapes 18:56:07 ... i think there are others that can't be covered by SPARQL. 18:56:17 ... templates are outside of SPARQL 18:56:26 The appeal to recursive shapes would be more compelling if there was a version of recursive shapes that actually worked right 18:56:47 ... i'd like a language that have different profiles, with different expressivity and complexity 18:56:54 q+ 18:57:02 ack ericP 18:57:44 ericP: Asks a question if you can implement the validation using a series of SPARQL queries 18:58:08 PROPOSED: "SHACL highlevel" shall be implementable in SPARQL 18:58:15 can you implement in SPIN using SPIN templates...there are different interpretations to the meaning can you implement it in SPARQL 18:58:41 +q 18:58:50 +1 18:58:57 But which of these three meanings of “implementable in SPARQL” is the question? 18:58:58 ack Labra 18:58:58 -1 18:59:08 +q: to ask what it means to be implementable in SPArql 18:59:46 The distinction has to be between a single query and an unlimited number of queries 19:00:01 +q 19:00:10 PROPOSED: "SHACL highlevel" shall be implementable with 1-n SPARQL queries 19:00:21 ack hknublau 19:00:26 PROPOSED: "SHACL highlevel" shall be implementable with 1 to n SPARQL queries 19:00:27 ack 19:00:29 queue= 19:00:29 Holger: the question becomes meaningless 19:00:56 ...its too general 19:01:34 In a certain sense anything in SHACL can be answered using a single SPARQL query - SELECT * from ?a ?b ?c 19:02:21 q+ 19:02:33 ack pfps 19:02:38 PROPOSED: "SHACL highlevel" shall be efficiently implementable in SPARQL 19:03:12 peter: says there are proposals from the sparql side and none proposals from the non-sparql side 19:03:22 +q 19:03:38 ack Labra 19:04:08 Labra: i don't think there's a SPARQL and a non-SPARQL camp. 19:04:28 ... i'm in favor of a high-level language constructs 19:04:46 ... if some of them are very complex, then we can profile. 19:04:47 At some point all this has to be implemented, so it's not as if the high-level language can be just anything 19:05:12 it's not like we're short of ShEx implementations 19:05:38 @peter: but it is not "anything" 19:06:02 PROPOSED: SHACL shall include an extension mechanism based on SPARQL 19:06:07 as far as I can tell there are *NO* ShEx implementations 19:06:07 *define high level :) * 19:06:09 +q 19:06:14 ack Labra 19:06:49 ... shall include an extension mechanism, which will support SPARQL and may support other means... 19:07:18 … (not precluding other extension mechanisms) 19:07:38 Labra: want support for SPARQL extensions to be optional. also want be able to have e.g. Javascript 19:08:13 PROPOSED: SHACL shall include an extension mechanism allowing among other things to extend the highlevel functionality with SPARQL 19:08:15 ... e.g. HTML allows