13:01:56 RRSAgent has joined #shapes 13:01:56 logging to http://www.w3.org/2017/01/25-shapes-irc 13:01:58 RRSAgent, make logs rdf-data-shapes 13:01:58 Zakim has joined #shapes 13:02:00 Zakim, this will be SHAPES 13:02:00 ok, trackbot 13:02:01 Meeting: RDF Data Shapes Working Group Teleconference 13:02:01 Date: 25 January 2017 13:02:13 present+ 13:02:28 present+ 13:02:36 present+ 13:02:40 present+ 13:02:48 TallTed has joined #shapes 13:03:53 ipolikoff has joined #shapes 13:04:13 Dimitris has joined #shapes 13:06:01 trackbot, start meeting 13:06:04 RRSAgent, make logs rdf-data-shapes 13:06:07 Zakim, this will be SHAPES 13:06:07 Meeting: RDF Data Shapes Working Group Teleconference 13:06:07 Date: 25 January 2017 13:06:08 ok, trackbot 13:06:32 Nicky__ has joined #shapes 13:07:44 present+ 13:08:04 chair: TallTed 13:09:18 pano has joined #shapes 13:09:24 present+ 13:09:48 scribenick: dallemang 13:10:02 present+ 13:10:29 present 13:10:43 present+ 13:11:37 PROPOSED: Approve minutes of the 18 Jan 2017 Telecon: https://www.w3.org/2017/01/18-shapes-minutes.html 13:12:19 +1 13:12:31 +1 13:12:43 RESOLVED: Approve minutes of the 18 Jan 2017 Telecon: https://www.w3.org/2017/01/18-shapes-minutes.html 13:12:52 RRSAgent, make minutes 13:12:52 I have made the request to generate http://www.w3.org/2017/01/25-shapes-minutes.html simonstey 13:13:02 TallTed: We will have another call next week, same time/channel 13:13:04 ISSUE-219: Should we add a one-of-a-list-of-shapes operator 13:13:04 Notes added to ISSUE-219 Should we add a one-of-a-list-of-shapes operator. 13:13:04 ISSUE-219: Should we add a one-of-a-list-of-shapes operator 13:13:04 Notes added to ISSUE-219 Should we add a one-of-a-list-of-shapes operator. 13:13:25 issue-219? 13:13:26 issue-219 -- Should we add a one-of-a-list-of-shapes operator -- raised 13:13:26 http://www.w3.org/2014/data-shapes/track/issues/219 13:14:39 simonstey: Why didn't we follow up on this, when we realized that XOR wasn't doing the job we needed? 13:14:45 ... was it lack of use cases? 13:15:01 ipolikoff: I don't know, but Eric brought up a use case recently 13:15:12 ... either a combination of first/last or full name 13:15:44 ... she has been talking to Allotrop (consortium of pharmas) They have been devleoping shapes for medical instruments 13:15:57 ... OneOf is all over their shapes. 13:16:01 Nicky_ has joined #shapes 13:16:11 ... she doesn't know if it is really essential or could be replaced with something else 13:16:31 TallTed: Is that one or more, or one and only? 13:16:35 ipolikoff: one and only 13:16:53 TallTed: one and only is XOR, so this is already covered 13:17:02 PROPOSAL: Open ISSUE-219 13:17:03 TallTed: This is not the right meeting for this discussion 13:17:09 +1 13:17:15 +1 13:17:19 +1 13:17:20 +1 13:17:23 +1 13:17:35 RESOLVED: Open ISSUE-219 13:17:38 0 13:17:52 TOPIC: Working Draft 13:18:50 TallTed: We will put in a draft now, publish current version as nominal working draft 13:19:09 .,. we're faking a "last call" 13:19:51 I thought CR1 was "last call" 13:20:21 simonstey: We aren't faking the last call, we're simulating it 13:21:23 Dimitris: there have been a lot of changes in the past two weeks 13:22:40 PROPOSAL: Publish current working draft as (final) public working draft. 13:22:52 +1 13:22:58 +1 13:22:59 +1 13:23:08 =1 13:23:09 +1 13:23:13 0 13:23:19 +1 13:23:36 +1 13:23:42 RESOLVED: Publish current working draft as (final) public working draft 13:24:10 TOPIC: ISSUE-218: Move annotations 13:24:15 issue-218? 13:24:15 issue-218 -- Should we move SPARQL Annotations mechanism into the WG Note? -- open 13:24:15 http://www.w3.org/2014/data-shapes/track/issues/218 13:24:52 holger: in most drafts, we had a chapter about how to inject annotations into SPARQL results 13:25:09 ... standalone and not important, he proposes putting it into the note with advanced SPARQL 13:25:18 ... to reduce complexity 13:25:26 Dimitris: 13:25:56 PROPOSAL: close issue-218, by moving SPARQL Annotations mechanism into the WG Note 13:25:58 +1 13:26:01 +1 13:26:02 +1 13:26:02 +1 13:26:05 +1 13:26:05 0 13:26:10 +1 13:26:24 RESOLVED: close issue-218, by moving SPARQL Annotations mechanism into the WG Note 13:26:41 TOPIC: ISSUE-93: engine/language 13:26:44 issue-93? 13:26:44 issue-93 -- SHACL engine vs. SHACL instance requirements -- open 13:26:44 http://www.w3.org/2014/data-shapes/track/issues/93 13:26:53 https://www.w3.org/2014/data-shapes/wiki/Proposals#ISSUE-93:_engine_.2F_language 13:27:37 issue-214 13:27:37 issue-214 -- [Editorial] Read through for "must" and "may" -- closed 13:27:37 http://www.w3.org/2014/data-shapes/track/issues/214 13:27:59 TallTed: thinks that the resolution is to close it as taken care of by compliance work 13:28:12 s/compliance/conformance 1.3 13:28:24 http://w3c.github.io/data-shapes/shacl/#conformance 13:29:31 PROPOSAL: Close ISSUE-93 as handled by section 1.3 (Conformance) 13:29:34 +1 13:29:38 +1 13:29:39 simonstey: there's a "to do" in 13 Compliance, which we need to get rid of 13:29:46 TallTed: Is that separate, or part of this issue? 13:29:49 +1 13:29:50 s/13/1.3/ 13:29:54 +1 13:29:55 +1 13:30:00 +1 13:30:02 +1 13:30:15 RESOLVED: Close ISSUE-93 as handled by section 1.3 (Conformance) 13:31:01 hknublau: will take out the to do comment, since for CR we don't need test case links 13:31:18 simonstey: isn't test case needed for conformance? 13:31:40 hknublau: we don't have tests, only work in progress. 13:32:44 TallTed: We can have a pointer to our work in progress. 13:33:15 simonstey: The LDP has test suites listed up front, but not in conformance 13:33:44 simonstey: therefore, we can get rid of this in 1.3, and put in test suites in the final iteration 13:34:18 TallTed: We will remove the referenc eto test suites from section 1.3 13:34:27 s/c eto/ce to/ 13:34:33 TOPIC: ISSUE-111: charter issues 13:34:34 issue-111? 13:34:34 issue-111 -- How should the working group address the issues called out in the WG charter? -- open 13:34:34 http://www.w3.org/2014/data-shapes/track/issues/111 13:34:34 https://www.w3.org/2014/data-shapes/wiki/Proposals#ISSUE-111:_charter_issues 13:35:48 ipolikoff: "In current intro to SHACL, we don't sufficiently tie to charter. " Proposal is to add language to spec to put in this link. 13:36:05 +q 13:36:11 ... question: Is it customary or necessary for spec to have close tie explanation for its ocnnection to the charter? 13:36:23 TallTed: No, this isn't common, the spec doesn't usually say anything itself. 13:36:30 ipolikoff: in that case, she suggests closing 13:36:33 I checked a few other specs, none of them have such a reference. 13:37:31 simonstey: is it necessary, or is it clever to do it? To avoid future comments. So even if it is not necessary, simonstey things it would be better to close the issue with the explanation that ipolikoff summarized in the proposal page 13:37:57 ... so that e.g. Peter will see why, and what the connection is. 13:39:41 PROPOSAL: close issue-111 without putting any Charter-validation in the spec, as this is neither customary nor required by W3 process, but with notation in closing that "the SHACL spec meets all three of the issues listed in the RDF Data Shapes working group charter" 13:39:56 +1 13:40:00 +1 13:40:20 +1 13:40:36 +1 13:40:36 +1 13:40:41 +1 13:40:41 +1 13:40:50 RESOLVED: close issue-111 without putting any Charter-validation in the spec, as this is neither customary nor required by W3 process, but with notation in closing that "the SHACL spec meets all three of the issues listed in the RDF Data Shapes working group charter" 13:41:16 TOPIC: ISSUE-211: Eliminate property constraints 13:41:16 https://www.w3.org/2014/data-shapes/wiki/Proposals#ISSUE-211:_Eliminate_property_constraints 13:41:16 issue-211? 13:41:16 issue-211 -- Eliminate property constraints -- open 13:41:16 http://www.w3.org/2014/data-shapes/track/issues/211 13:42:58 Nicky has joined #shapes 13:44:55 PROPOSAL: close issue-211 as essentially solved, with Dimitris putting remaining fragmentary concern in a fresh issue 13:44:56 hknublau: hoping that we will close all issues by the end of this meeting, to give positive progress report to W3C mgmt 13:45:05 +1 13:45:07 +1 13:45:13 +1 13:45:13 +1 13:45:18 +1 13:45:26 +1 13:45:42 RESOLVED: close issue-211 as essentially solved, with Dimitris putting remaining fragmentary concern in a fresh issue 13:45:50 +1 13:46:10 TOPIC: ISSUE-215: literal parameters 13:46:10 issue-215? 13:46:10 https://www.w3.org/2014/data-shapes/wiki/Proposals#ISSUE-215:_parameters_with_a_value_type_that_is_a_datatype 13:46:11 issue-215 -- parameters with a value type that is a datatype -- open 13:46:12 http://www.w3.org/2014/data-shapes/track/issues/215 13:46:53 ipolikoff: 215 is no longer relevant, because there was an issue with Accepted Type, the wording could have inferred that a literal is something else 13:47:03 ... ipolikoff put a proposal together to change the language, however, 13:47:18 ... the spec has changed, so that sentence is no longer there, since ExpectedType is no longer there 13:47:29 q+ 13:47:30 s/Accepted/Expected/ 13:47:40 ack simonstey 13:47:41 ipolikoff: this raises a new topic, related to expected type 13:48:50 ipolikoff: current spec, a shape is an IRI or blank in the shapes graph. Another proposal (Dimitris and Peter) said that it had to have expected type of Shape 13:49:05 PROPOSAL: close issue-215 as resolved by other changes to date; "expected type" no longer occurs in the spec 13:49:08 ipolikoff: not about this issue, this issue can be closed 13:49:13 +1 13:49:21 ipolikoff: but this resolution brings up a new topic 13:49:45 q+ 13:50:29 2.1 13:50:59 https://w3c.github.io/data-shapes/shacl/#shapes 13:51:06 q+ 13:52:38 hknublau: e.g., we have a formal rule that says that cardinality must be an integer, if we violate this, then outcome is undefined 13:52:50 TallTed: mincount is in 4.2.1 13:53:32 ack Dimitris 13:53:53 hknublau: separate syntax and semantics, 13:54:22 Dimitris: What happens if mincount is not an integer? If hknublau says it is disallowed, then the issue is no longer releant 13:55:27 q? 13:55:30 TallTed: original concern is about expected type, but the example is mincount, now we say that it isn't an expected type, but now it is this type 13:55:31 sec 4 13:55:32 Shapes that violate any of the syntax rules enumerated in those parameter tables are ill-formed. 13:55:49 TallTed: Is there a place to say what happens if something is a type, but the graph violates that 13:55:58 http://w3c.github.io/data-shapes/shacl/#syntax-rules 13:56:29 https://w3c.github.io/data-shapes/shacl/#ill-formed-shape-graphs 13:57:26 TallTed: Any objections to change may/should in 3.4.2? 13:57:38 hknublau: no, because shapes graph and data graph could be the same 13:57:49 3. SHOULD This word, or the adjective "RECOMMENDED", mean that there may exist valid reasons in particular circumstances to ignore a particular item, but the full implications must be understood and carefully weighed before choosing a different course. 13:57:54 ... it is impractical to insist on this 13:58:06 TallTed: "should" allows the processor not to do something in some situation 13:58:30 ... "should" is guidance to non-sophisticated folks, to indicate that if they don't know better then they should do it. 13:58:42 hknublau: Doesn't "UNDEFINED" do this? 13:59:01 hknublau: it isn't realistic to expect an implementation to do all those tests. 13:59:03 q? 13:59:57 TallTed: isn't so sure about "UNDEFINED", but is pretty sure about this SHOULD produce a failure 14:00:34 hknublau: what if there is a bad shape in the graph, but it isn't being used? Does it make sense for there to be an error? 14:00:42 dallemang: actually, yes, such an error is welcome 14:01:08 hknublau: we can change MAY/SHOULD, but not change UNDEFINED 14:01:30 ack 14:01:41 q? 14:01:46 ack simonstey 14:02:25 simonstey: RECOMMENDED is what SHOULD means, so he is in favor of change to SHOULD 14:02:55 PROPOSED: change the MAY in "3.4.2 Handling of Ill-formed Shapes Graphs -- If the shapes graph contains ill-formed nodes, then the result of the validation process is undefined. A SHACL processor MAY produce a failure in this case." to SHOULD 14:03:51 +1 14:03:52 +1 14:03:56 +1 14:04:02 ack dallemang 14:04:15 +1 14:04:17 +1 14:04:23 +1 14:04:30 +1 14:04:39 RESOLVED: change the MAY in "3.4.2 Handling of Ill-formed Shapes Graphs -- If the shapes graph contains ill-formed nodes, then the result of the validation process is undefined. A SHACL processor MAY produce a failure in this case." to SHOULD 14:04:49 scribenick: dimitris 14:04:55 q+ 14:05:31 PROPOSAL: close issue-215 as resolved by other changes to date; "expected type" no longer occurs in the spec 14:05:39 +1 14:05:43 +q 14:06:42 PROPOSAL: close issue-215 as resolved by other changes to date; "expected type" no longer occurs in the spec, and explicit syntax rules have been added 14:06:44 +1 14:06:50 +1 14:07:35 Dimitris: expected type is removed from the spec why? 14:08:11 hknublau: no longer needed, only needed for the shapes definition 14:08:34 Nicky has joined #shapes 14:08:43 ... we never needed it anyway 14:09:19 I read thoroughly through Dimitris draft and expected type only used there for defining the shape 14:09:21 Dimitris: we need to review the spec 14:09:30 +1 14:09:38 +1 14:09:40 +1 14:09:44 0 (cannot tell in the light of the definition changes) 14:09:47 +1 14:09:56 RESOLVED: close issue-215 as resolved by other changes to date; "expected type" no longer occurs in the spec, and explicit syntax rules have been added 14:10:40 q? 14:11:36 q- 14:12:14 hknublau: discuss about XOR? 14:12:28 TOPIC: issue-219 14:12:31 issue-219? 14:12:31 issue-219 -- Should we add a one-of-a-list-of-shapes operator -- open 14:12:31 http://www.w3.org/2014/data-shapes/track/issues/219 14:12:41 q+ 14:12:54 ack Dimitris 14:13:28 q+ 14:13:34 hknublau: we've seen use cases that require this 14:14:13 https://en.wikipedia.org/wiki/Exclusive_or 14:14:22 More generally, XOR is true only when an odd number of inputs are true. A chain of XORs—a XOR b XOR c XOR d (and so on)—is true whenever an odd number of the inputs are true and is false whenever an even number of inputs are true. 14:14:28 TallTed: do not understand the odd number of matches 14:15:19 ... xor is odd number of true values 14:15:47 dallemang: ... explaining xor definition ... 14:16:56 ... official definition is counter intuitive 14:18:31 TallTed: sh:xor can be as exclusive or or one and only one of this list 14:19:27 s/exclusive or or one and only one of this list/"exclusive or" or "one and only one of this list"/ 14:19:56 simonstey: why not sh:oneOf 14:20:09 dallemang: oneOf is a term in OWL 14:21:33 TallTed: why not add a disclaimer for xor? 14:23:56 dallemang: I can write the disclaimer 14:24:09 +1 14:24:33 TallTed: suggest to try with sh:xor 14:25:23 PROPOSAL: close issue-219, adding sh:xor, meaning one-and-only-one-of, wording carefully to avoid confusions and to align with sh:or (meaning at-least-one-of) 14:25:31 +1 14:25:34 +1 14:25:42 +1 14:25:45 +1 14:25:49 +1 14:26:00 +1 14:26:09 RESOLVED: close issue-219, adding sh:xor, meaning one-and-only-one-of, wording carefully to avoid confusions and to align with sh:or (meaning at-least-one-of) 14:26:30 q+ 14:26:53 ack simonstey 14:27:15 q- 14:27:39 hknublau: what are the next steps? 14:28:04 ... how much time for feedback once we publish? 14:28:24 TallTed: do not have a definitive answer 14:28:44 ipolikoff: publish and let's see 14:28:53 q+ 14:29:10 ack dallemang 14:29:28 dallemang: are we talking abut the definition of shapes? 14:30:18 TallTed: once you are ready send a mail for review 14:31:35 https://en.wikipedia.org/wiki/Exclusive_or 'Some may contend that any binary or other n-ary exclusive "or" is true if and only if it has an odd number of true inputs ' 14:31:39 ... maintain bi-weekly calls in case something comes up 14:32:15 s/bi-weekly/weekly/ 14:32:27 q? 14:32:46 TOPIC: shape definition in 2.1 14:33:52 dallemang: definition is problematic 14:34:05 Arnaud1 has joined #shapes 14:34:06 ... "A shape is an IRI or blank node in the shapes graph." is far too general 14:34:24 dallemang: far too general 14:34:30 .. and counter intuitive 14:35:09 hknublau: was trying to come up with a minimum definition 14:35:38 ... it only makes sense in validation 14:35:54 ... it doesn't matter anywhere else 14:36:29 ... a shape can be validated only if it has a target 14:37:44 ... two ways to call the engine, using targets, explicitely or with reference 14:37:56 ... can be defined but not needed 14:38:04 +q 14:38:13 q+ 14:38:23 ... only matters to implementers 14:38:59 ... we can enumerate informative rules 14:39:40 dallemang: I find this satisfying, because I want to be able to find all shapes 14:40:27 q? 14:40:40 ack hknublau 14:40:50 ack simonstey 14:40:50 sh:or A SHACL list of shapes to validate the value nodes against. The value of each sh:or is a SHACL list. Each member of such list must be a well-formed shape. 14:41:22 simonstey: [explaining example above] 14:42:01 ... could I just put any IRI? 14:42:21 hknublau: should I put ill-formed there? 14:45:29 simonstey: kind of works but since everything is a shape any blank can be ill-formed 14:47:19 ipolikoff: is it a problem 14:47:59 simonstey: what is a well-formed shape for values in e.g. sh:or 14:48:47 TallTed: if it has shacl attributes is has to conform, if not it doesn't 14:49:09 simonstey: then we need to define what is an ill-formed shape 14:49:55 for example 14:49:57 The values of sh:qualifiedValueShape must be well-formed shapes. 14:50:00 becomes 14:50:03 hknublau: "it must be a shape but not ill-formed"? 14:50:22 The values of sh:qualifiedValueShape must be a shape that is not ill-formed. 14:50:55 simonstey: define what well-formed / ill-formed shape is 14:51:48 TallTed: we have many references to ill-formed graph but not for ill-formed shapes 14:53:54 q+ 14:58:48 http://w3c.github.io/data-shapes/shacl/#node-shapes 15:00:44 Dimitris: we need to be explicit, this is too loose 15:01:20 hknublau: the definition does not brake anything 15:02:31 Dimitris: this list has to be normative 15:02:48 TallTed: it depends on the use case 15:03:37 is sh:IRI as shape 15:03:40 ? 15:04:32 simonstey: can we say something about node shape? it is too general 15:05:38 ... state it explicitly in every occurrence? 15:05:48 hknublau: Add it once, it is a big overhead 15:07:45 ADJOURNED 15:08:09 RRSAgent, make minutes 15:08:09 I have made the request to generate http://www.w3.org/2017/01/25-shapes-minutes.html simonstey 15:08:49 trackbot, end meeting 15:08:49 Zakim, list attendees 15:08:51 As of this point the attendees have been hknublau, Nicky_, simonstey, dallemang, TallTed, Dimitris, pano, ipolikoff 15:08:57 RRSAgent, please draft minutes 15:08:57 I have made the request to generate http://www.w3.org/2017/01/25-shapes-minutes.html trackbot 15:08:58 RRSAgent, bye 15:08:58 I see no action items