17:57:38 RRSAgent has joined #shapes 17:57:38 logging to http://www.w3.org/2015/06/04-shapes-irc 17:57:40 RRSAgent, make logs rdf-data-shapes 17:57:40 Zakim has joined #shapes 17:57:42 Zakim, this will be SHAPES 17:57:42 I do not see a conference matching that name scheduled within the next hour, trackbot 17:57:43 Meeting: RDF Data Shapes Working Group Teleconference 17:57:43 Date: 04 June 2015 17:58:58 zakim, this is shapes 17:58:58 ok, Arnaud; that matches DATA_RDFWG()2:00PM 17:59:09 + +1.705.327.aaaa 17:59:20 zakim, who's on the phone? 17:59:20 On the phone I see Arnaud, ??P0, +1.705.327.aaaa 17:59:30 zakim, ??P0 is me 17:59:30 +simonstey; got it 17:59:35 pfps has joined #shapes 17:59:51 + +1.510.435.aabb 17:59:51 zakim, who is on the phone? 17:59:52 On the phone I see Arnaud, simonstey, +1.705.327.aaaa, +1.510.435.aabb 18:00:11 zakim, aaaa is me 18:00:11 +pfps; got it 18:00:32 zakim, i am aabb 18:00:32 +kcoyle; got it 18:01:35 hsolbrig has joined #shapes 18:01:38 agenda: https://www.w3.org/2014/data-shapes/wiki/Meetings:Telecon2015.06.04 18:01:38 Labra has joined #shapes 18:01:45 michel has joined #shapes 18:01:47 chair: Arnaud 18:02:25 Dimitris has joined #shapes 18:02:35 +ericP 18:02:43 +[IPcaller] 18:02:51 zakim, Ipcaller is me 18:02:51 +hsolbrig; got it 18:03:10 *are we using webex?* 18:03:10 zakim, who's on the phone? 18:03:10 On the phone I see Arnaud, simonstey, pfps, kcoyle, ericP, hsolbrig 18:03:19 no, just zakim 18:03:33 +[IPcaller] 18:03:47 zakim, [IPCaller] is labra 18:03:47 +labra; got it 18:04:04 + +30694579aacc 18:04:23 zakim, +30694579aacc is me 18:04:23 +Dimitris; got it 18:04:52 scribe: simonstey 18:05:05 topic: Admin 18:05:14 PROPOSED: Approve minutes of the 28 May Telecon: http://www.w3.org/2015/05/28-shapes-minutes.html 18:05:15 minutes look OK 18:05:26 +OpenLink_Software 18:05:33 Zakim, OpenLink_Software is temporarily me 18:05:33 +TallTed; got it 18:05:35 Zakim, mute me 18:05:35 TallTed should now be muted 18:05:37 RESOLVED: Approve minutes of the 28 May Telecon: http://www.w3.org/2015/05/28-shapes-minutes.html 18:05:49 regrets: aryman 18:06:05 q+ to ask when tracker is going to get back on track 18:06:08 Arnaud: next meeting june 11th 18:06:10 TOPIC: Tracking of actions & issues 18:06:46 ericP: I set up a webex meeting 18:06:55 Arnaud: when do we have to switch to webex? 18:07:04 ericP: we can start using it whenever we want 18:07:28 ... we got a meeting number, password etc. 18:08:32 Arnaud: I'm in favour of switching to webex but keep zakim as backup 18:09:00 hknublau has joined #shapes 18:09:13 ... there are some limitations/advantages to webex, I think we can switch to webex for the next meeting 18:09:57 ericP: whoever joins first becomes "presenter" in webex 18:10:50 Arnaud: those who use voip may experience better sound quality when using webex and you see who speaks 18:11:26 ... unfortunately people have to directly tell zakim that they have joined the call 18:12:02 next meeting: 18:12:02 https://mit.webex.com/mit/j.php?MTID=m941b5e6540d345fcb389bc371ae7d2fc 18:12:02 Meeting number: 640 811 616 18:12:02 Meeting password: shapes 18:12:02 US Toll Number:+1-617-324-0000 18:12:05 Mobile Auto Dial:+1-617-324-0000,,,640811616# 18:12:15 ... we'll only use webex for the call and still use IRC 18:12:17 +[IPcaller] 18:12:34 Zakim, [IPcaller] is me 18:12:34 +hknublau; got it 18:13:11 ... webex info will be on the webpage 18:13:27 q+ 18:13:35 ack pfps 18:13:35 pfps, you wanted to ask when tracker is going to get back on track and to 18:13:36 ... one open action 18:13:49 pfps: when is tracker going be back on track? 18:14:11 Arnaud: no news, but sysguys are already informed 18:15:15 pfps: problem appears to be evident at least still may 21st 18:15:35 hknublau: I've updated the draft (regarding the open issue) 18:15:50 s/still/since 18:16:40 hknublau: I didnt coordinate with arthur who is also a coeditor/responsible of the issue 18:17:05 Arnaud: we have a bunch of raised issues which we get back to later 18:17:09 topic: User Stories 18:17:16 Arnaud: two new stories 18:18:18 ... S45 https://www.w3.org/2014/data-shapes/wiki/User_Stories#S45:_Linked_Data_Update_via_HTTP_GET_and_PUT 18:18:24 +1 18:18:33 ... are you ready to approve it? are there any questions? 18:18:48 PROPOSED: Approve S45: Linked Data Update via HTTP GET and PUT https://www.w3.org/2014/data-shapes/wiki/User_Stories#S45:_Linked_Data_Update_via_HTTP_GET_and_PUT 18:19:07 +1 18:19:15 +1 18:19:17 q+ 18:19:22 +1 18:19:22 ack pfps 18:19:30 -0.5 fine with the idea don;t like sh:hasShape suggestion 18:19:36 pfps: I still dont know what arthur is asking for 18:20:16 ... either he is asking for something that is already available or not.. I'm not sure 18:20:31 +1 18:20:34 Arnaud: I don't see that as a problem 18:20:37 +1 18:20:42 +1 18:20:50 +1 18:21:21 pfps: as long as user stories are something that is related to stuff the WG is doing, I'm fine 18:21:46 +1 assuming that all that a user story is is something related to what the working group is doing, not something all of whose aspects are in scope 18:22:02 RESOLVED: Approve S45: Linked Data Update via HTTP GET and PUT https://www.w3.org/2014/data-shapes/wiki/User_Stories#S45:_Linked_Data_Update_via_HTTP_GET_and_PUT 18:22:16 Arnaud: S46 https://www.w3.org/2014/data-shapes/wiki/User_Stories#S46:_Software_regression_testing_with_SHACL 18:22:49 PROPOSED: Approve S46: Software regression testing with SHACL https://www.w3.org/2014/data-shapes/wiki/User_Stories#S46:_Software_regression_testing_with_SHACL 18:23:22 +1 18:23:24 +1 18:23:26 +1 18:23:26 +1 18:23:36 +1 18:23:43 +1 18:23:44 +1 18:23:46 +1 18:23:46 Zakim, unmute me 18:23:46 TallTed was not muted, TallTed 18:23:59 TallTed: it seems out of scope 18:24:18 +1 under the same assumptions, not that SHACL is supposed to be storing the results of validation and checking them later 18:24:25 q+ 18:24:31 ... we are talking about defining a shape but what you are doing with the shape is up to you 18:25:22 Dimitris: I want to be able to track how the shape validation developed over time 18:25:25 +1 18:25:28 ack pfps 18:26:06 pfps: sure this has a SHACL component in it but also some stuff that SHACL won't handle 18:26:37 ...: +1 under the assumption that SHACL won't be responsible for storing the validation results into a db, etc. 18:26:52 RESOLVED: Approve S46: Software regression testing with SHACL https://www.w3.org/2014/data-shapes/wiki/User_Stories#S46:_Software_regression_testing_with_SHACL 18:26:53 s/...:/... 18:27:17 Arnaud: eric added another story 18:27:31 https://www.w3.org/2014/data-shapes/wiki/User_Stories#S47:_Clinical_data_constraints 18:28:01 PROPOSED: Approve S47: Clinical data constraints https://www.w3.org/2014/data-shapes/wiki/User_Stories#S47:_Clinical_data_constraints 18:28:08 q+ 18:28:22 ericP: is about existing clinical systems that have multi-occuring constraints 18:28:23 ack pfps 18:29:38 pfps: maybe eric should add some story to emphasize the required features 18:29:44 +1 especially as property constraints that don't "exhaust" the property are a reasonable thing 18:30:12 s/story/sentence/ 18:31:04 TallTed: the story isn't worded as story, so it needs some reworking 18:33:09 ... if it's mockup data prefixes are useless, if it's live data we need some prefixes to get a better understanding 18:33:12 Arnaud: 18:33:23 s/Arnaud:// 18:33:48 Ted:could you write that as a comment on the story? 18:33:50 +1 modulo turning it into a story here, and putting the technicalities into the Requirements doc 18:34:09 +1 18:34:12 Arnaud: editors will restructure/rephrase the story or may ask you (ted) to rephrase it 18:34:13 +1 18:34:15 +1 18:34:17 +1 18:34:19 +1 18:34:19 +1 18:34:24 +1 18:35:07 Arnaud: ted's point is valid and I will note it in the resolution 18:35:17 RESOLVED: Approve S47: Clinical data constraints (modulo turning it into a story and putting the technicalities into requirements in the UC&R doc) https://www.w3.org/2014/data-shapes/wiki/User_Stories#S47:_Clinical_data_constraints 18:36:02 S48 seems a bit premature 18:36:07 https://www.w3.org/2014/data-shapes/wiki/User_Stories#S48:_Capturing_precise_business_practices 18:36:39 ericP: S48 captures the point that we sometimes also want to capture business processes 18:37:55 Arnaud: we will postpone S48 to next week 18:37:59 topic: SHACL spec 18:38:15 Arnaud: I want to talk about the raised issues 18:38:40 ... there are a lot of them and I don't know how much time we should spend on this 18:39:10 ... I also want to talk about the way forward (i.e. how we start working on the spec) 18:39:27 s/start/continue 18:39:42 open it 18:39:49 +1 18:39:55 RESOLVED: open ISSUE-51 18:39:58 ... no objections opening issue-51 18:40:07 reopen ISSUE-51 18:40:07 Re-opened ISSUE-51. 18:41:27 ... some of the issues jose raised last week are too abstract, but eric helped to rephrase/edit them 18:41:55 ... shall we open them all together or one by one? 18:42:02 q+ 18:42:08 ack pfps 18:42:46 pfps: I'm not against opening them but I'm afraid there are some incorrent assumptions in them 18:43:17 Zakim, mute me 18:43:17 TallTed should now be muted 18:44:00 ... there is no rule by rule algorithm in SHACL 18:45:22 ericP: I call them rules and you call them individual rules 18:45:44 pfps: property constraints want to consume everything for the property 18:46:19 ... there is nothing in the highlevel language that handles multi-occurance as you prefer it but maybe the extension can handle it 18:46:48 Arnaud: let us not get to much into technical details here 18:47:07 q+ 18:47:35 pfps: you can perfectly write SPARQL that handles that 18:47:43 q+ 18:47:49 ack pfps 18:47:56 ... (multi-occur.) 18:48:12 s/occurance/occurence 18:48:38 ack Labra 18:49:00 how about s/core/rdf-encoded/ 18:49:13 ericP: I need some way to say "I dont want to have to use sparql to express it" and I think "core" fits well 18:50:21 Labra: I think it's an issue to decide whether or not something has to use an extension mechanism (like SPARQL) to express it or not 18:50:31 @pfps: "This is at odds with the "greedy" alogorithm defining the semantics of the SHACL high-level language (core)."? 18:50:36 ... I think multi-occurence has to be part of the core language 18:51:11 ISSUE-57 says that ShEx has cardinalities over multiple properties, which I don't remember being the case 18:51:28 Arnaud: I would be happy to open all the raised issues at once 18:51:43 PROPOSED: Open ISSUE-52, ISSUE-53, ISSUE-57-65 18:52:00 +1 18:52:07 +1 18:52:08 +1 18:52:08 +1 18:52:10 +1 18:52:21 some of the issues are rather silly, as they talk about things that already have a determination, but that doesn't mean that I'm against opening them 18:52:32 +1 18:52:53 +1 18:52:57 q+ 18:53:45 ack pfps 18:54:05 RESOLVED: Open ISSUE-52, ISSUE-53, ISSUE-57-65 18:54:45 +1 18:55:51 Arnaud: peter agreed to co-edit the spec (or fragments of it) 18:56:51 q+ 18:56:53 ... he mentione that the foundation of the spec is split into bits and pieces and he emphasized that we/people may want to have a seperate & concise document that defines SHACL 18:56:55 ack pfps 18:57:30 +q 18:57:43 ack hknublau 18:57:47 +1 to seperate semantics 18:58:18 hknublau: we have already a file that contains all the detailed information in a sence -> shacl.ttl 18:58:27 s/sence/sense 18:58:49 I don't think that an RDF document is adequate for defining the syntax of anything. 18:59:12 .. but some information isn't captured there, the current document is only compromise 18:59:20 q+ 18:59:24 s/../... 19:00:05 ... as a way forward I would suggest to look into the introduction 19:00:19 ... and try to find an agreement on the terminology 19:01:08 Arnaud: the sooner we nail down a terminology, we don't have this type of miscommunication while moving forward 19:01:18 ack pfps 19:01:28 ... peter wanted to introduce a formal definition in maybe a seperate document 19:02:36 pfps: I'm not saying (in this discussion) that the split into core/extension is wrong but I'm talking about taking out the formal underpinnings of SHACL 19:03:34 ... so if someone wants to precisely wants to know something about the formal underpinnings of SHACL he/she could look at a specific section as supposed to have it shattered across the whole document as it is now 19:04:23 pfps: right now we have two definitions of a lot of things (e.g. english definition & sparql translation) 19:05:10 hknublau: the whole document is normative.. 19:05:31 ... putting the definitions at the end may be redundant 19:06:40 I'm not saying that there needs to be more normative stuff. I would prefer less, actually. 19:06:53 pfps: has already complained that he was not able to find specific information in the document 19:06:58 I'm willing to put together a table of contents and outline. 19:07:33 Arnaud: peter may propose how this fragment describing the formal definition could/should look like 19:08:38 action: pfps to write outline of semantics document fragment 19:08:38 Created ACTION-27 - Write outline of semantics document fragment [on Peter Patel-Schneider - due 2015-06-11]. 19:09:12 Arnaud: ISSUE-65 http://www.w3.org/2014/data-shapes/track/issues/65 19:10:14 ... peter's proposal clearly defines the different concepts and we should leverage from that 19:11:27 q+ 19:11:47 https://lists.w3.org/Archives/Public/public-data-shapes-wg/2015Jun/0014.html 19:11:56 ack pfps 19:12:35 pfps: one terminological issue is "what is a shape?" 19:12:55 ... in some proposals shapes can have sets of constraints 19:13:36 ... e.g. scope: Person, constraint: must have a name, shape: a person must have a name 19:13:54 ... but maybe we also need unscoped shapes 19:14:15 +q 19:14:19 "every *description of* a person gotta have a name" is (might be) a shape def; "every person gotta have a name" is (might be) a class def. 19:14:46 s/description of/representation of/ 19:14:56 ... then we may also need two types of constraints -> the first one will take a focus node where the second one doesn't 19:15:37 constraints without focus nodes are global constraints in holger's proposal aren't they? 19:16:03 ack hknublau 19:16:39 hknublau: I agree defining shapes as a scope+constraint+(maybe filters) 19:17:25 In my view there are two kinds of constraints, those that run over nodes in a graph and those that don't 19:17:57 I think that these two need to be kept separate because they look and act very different. 19:18:37 michel has joined #shapes 19:20:31 elf-pavlik has joined #shapes 19:20:44 hknublau: I dont't see how our approaches differ, I suppose that if we have a flexible scoping mechanism people won't have to use global constraints very often 19:21:48 pfps: graphs we get by http put/get are anonymous so the main graph won't have a URI 19:23:25 TallTed: either way, the system has to interact with the graph.. regardless of it being directly referenceable by a name or any other way 19:25:06 (peter&ted are arguing about naming/phrasing issues) 19:28:04 hknublau: we may have to force an invention that a uri has to be created by the system if it's not provided 19:28:30 pfps: we have to disinguish whether a node is supposed to be in the graph or not 19:29:40 Arnaud: I don't know how to make progress on this, any suggestions? 19:29:57 hknublau: we could start with the introduction 19:30:39 ... I think we are not fast enough 19:32:01 In my opinion, working on particular (aspects of) issues results in slow progress. I think that it is better to work on proposals that embody solutions to a related group of issues. 19:32:31 Arnaud: we have a glossary so maybe we should put definitions there.. but it's up to you 19:32:53 -kcoyle 19:32:54 -pfps 19:32:55 -Dimitris 19:32:56 -labra 19:32:56 -hknublau 19:32:57 -Arnaud 19:32:57 -TallTed 19:32:59 -hsolbrig 19:33:01 -simonstey 19:33:01 -ericP 19:33:02 DATA_RDFWG()2:00PM has ended 19:33:02 Attendees were Arnaud, +1.705.327.aaaa, simonstey, +1.510.435.aabb, pfps, kcoyle, ericP, hsolbrig, labra, Dimitris, TallTed, hknublau present: Arnaud, simonstey, pfps, kcoyle, ericP, hsolbrig, labra, Dimitris, TallTed, hknublau 19:33:05 trackbot, end meeting 19:33:05 Zakim, list attendees 19:33:05 sorry, trackbot, I don't know what conference this is 19:33:11 Dimitris has left #shapes 19:33:13 RRSAgent, please draft minutes 19:33:13 I have made the request to generate http://www.w3.org/2015/06/04-shapes-minutes.html trackbot 19:33:14 RRSAgent, bye 19:33:14 I see 1 open action item saved in http://www.w3.org/2015/06/04-shapes-actions.rdf : 19:33:14 ACTION: pfps to write outline of semantics document fragment [1] 19:33:14 recorded in http://www.w3.org/2015/06/04-shapes-irc#T19-08-38