18:57:09 RRSAgent has joined #shapes 18:57:09 logging to http://www.w3.org/2016/03/03-shapes-irc 18:57:11 RRSAgent, make logs rdf-data-shapes 18:57:11 Zakim has joined #shapes 18:57:13 Zakim, this will be SHAPES 18:57:13 I do not see a conference matching that name scheduled within the next hour, trackbot 18:57:14 Meeting: RDF Data Shapes Working Group Teleconference 18:57:14 Date: 03 March 2016 18:58:06 Arnaud has changed the topic to: RDF Data Shapes WG https://www.w3.org/2014/data-shapes - Next agenda: https://www.w3.org/2014/data-shapes/wiki/Meetings:Telecon2016.03.03 18:58:17 agenda: https://www.w3.org/2014/data-shapes/wiki/Meetings:Telecon2016.03.03 18:58:20 chair: Arnaud 19:01:14 simonstey has joined #shapes 19:01:21 present+ 19:01:33 present+ 19:01:45 jamsden has joined #shapes 19:01:53 present+ kcoyle, dimitris 19:02:27 hknublau has joined #shapes 19:03:02 present+ 19:03:29 present+ 19:03:36 scribenick: hknublau 19:06:54 Labra has joined #shapes 19:07:32 hsolbrig has joined #shapes topic: Admin 19:08:03 PROPOSED: Approve minutes of the 25 February 2016 Telecon: http://www.w3.org/2016/02/25-shapes-minutes.html 19:08:19 present+ 19:08:20 present+ hsolbrig 19:08:25 present+ labra 19:08:33 present+ 19:08:59 present+ jamsden 19:09:26 RESOLVED: Approve minutes of the 25 February 2016 Telecon: http://www.w3.org/2016/02/25-shapes-minutes.html 19:09:40 (Missing Harold from minutes) topic: Disposal of Raised Issues 19:10:12 PROPOSED: Open ISSUE-123 DirectType syntax 19:10:26 issue-123 19:10:26 issue-123 -- Shall we unify the syntax of sh:directType and sh:class? -- raised 19:10:26 http://www.w3.org/2014/data-shapes/track/issues/123 19:12:50 jamsden: what was the motivation for directType anyway? 19:13:09 hknublau: From Arthur, OSLC 19:13:51 jamsden: I would prefer being consistent with inheritance 19:14:19 ... I will talk to Shapes users to see why this is needed. 19:15:43 ... Unintended inferencing is a different problem 19:15:54 +1 19:15:54 +1 open it 19:15:55 +1 open for now 19:16:15 +1 19:16:23 RESOLVED: Open ISSUE-123 DirectType syntax 19:17:24 Arnaud: I would like to get feedback on the status of a few issues 19:17:40 topic: ISSUE-92 19:17:40 issue-92 -- Should repeated properties be interpreted as additive or conjunctive? -- open 19:17:40 http://www.w3.org/2014/data-shapes/track/issues/92 19:18:27 ericP: Differences between ShEx and SHACL - properties can be disjoint by default 19:18:43 ... we are trying to come up with an approach that works for all 19:19:05 ... iovka may join later 19:19:39 topic: ISSUE-68 19:19:39 ISSUE-68 -- pre-binding not defined in SHACL spec -- open 19:19:39 http://www.w3.org/2014/data-shapes/track/issues/68 19:20:01 (as I predicted, app dropped me; back on computer) 19:20:53 +q 19:21:19 ack hknublau 19:21:40 is this about the $varname stuff? 19:22:49 hknublau: The proposals page is not yet up to date. The spec has a new paragraph. 19:23:38 ... my preference would be to expose this to implementers 19:23:39 http://w3c.github.io/data-shapes/shacl/#pre-binding 19:25:38 It would be nice to see an example 19:25:55 hknublau: will send an update email, please look 19:27:38 topic: ISSUE-80 19:27:38 issue-80 -- Constraint to limit IRIs against scheme/namespace, possibly with dereferencing -- open 19:27:38 http://www.w3.org/2014/data-shapes/track/issues/80 19:28:21 +q 19:29:08 https://www.w3.org/2015/12/17-shapes-minutes.html#item06 19:29:14 ericP: ShEx has a notion of URI stems 19:29:44 q+ 19:29:51 ... for value matching, only gets us halfway 19:30:25 ack simonstey 19:31:17 simonstey: Dereferencing is mentioned in Use Cases document 19:31:37 ... people agreed this is out of scope for SHACL 19:31:41 ack kcoyle 19:32:29 kcoyle: Regex matching is similar to stemming, but stemming is very common in our use cases. 19:33:01 ericP: ShEx stemming construct is for convenience only. 19:33:11 agreed 19:34:33 We would definitely use the simpler interface 19:34:40 ericP: Do people support this (slightly redundant) stemming feature? 19:37:05 action: ericP to send proposal for sh:Stem in response to ISSUE-80 19:37:05 Created ACTION-36 - Send proposal for sh:stem in response to issue-80 [on Eric Prud'hommeaux - due 2016-03-10]. 19:37:58 Arnaud: Some tickets were never talked about. 19:38:12 topic: ISSUE-52 19:38:12 issue-52 -- Define an Abstract Syntax for SHACL -- open 19:38:12 http://www.w3.org/2014/data-shapes/track/issues/52 19:39:09 Arnaud: Since Arthur left, would anyone want to continue? 19:39:53 ericP: ShEx Abstract Syntax could be harvested, I could work out something 19:40:19 q+ 19:40:56 ack jamsden 19:41:24 jamsden: Abstract Syntax is a good idea, but if there is only one Concrete Syntax then what is the point 19:42:09 ... also SHACL is tied to RDF, so this feels like a nice to have only, should not delay the process 19:42:56 Arnaud: maybe there is value for documentation purposes, as a side project 19:43:44 ... we are not ready to kill this off yet, let's wait for Eric's proposal 19:44:44 topic: ISSUE-99 19:44:44 issue-99 -- special treatment of rdfs:Resource and rdf:List in sh:valueClass (and possibly elsewhere) -- open 19:44:44 http://www.w3.org/2014/data-shapes/track/issues/99 19:45:14 https://www.w3.org/2016/02/25-shapes-minutes.html#item06 19:45:40 hknublau: Updated proposals are on the wiki page, would be nice to see more feedback 19:45:59 https://www.w3.org/2014/data-shapes/wiki/Proposals#ISSUE-99.5:_handling_lists_and_resources 19:48:15 PROPOSED: No special cases for sh:class and friends. This means that Turtle lists don't validate against sh:class rdf:List and that many nodes don't validate against rdfs:Resource 19:48:26 +1 19:48:30 +0.5 19:48:51 +0 19:48:57 0 19:49:00 0 (kinda what the hell) 19:49:05 +0 19:49:19 0 19:49:23 0 19:49:36 0 (kinda what the hell) 19:49:49 what are those "many nodes"? 19:51:30 hsolbrig: I am confused about Turtle lists. Why should they be different than any other list 19:53:18 q+ 19:53:51 ack TallTed 19:53:51 hknublau: It's about that lists written in Turtle don't produce an rdf:type triple. 19:55:24 q+ 19:55:32 ack Dimitris 19:55:49 TallTed: We could solve this by adding a Shape and use sh:valueShape 19:56:02 Dimitris: I suggest using NodeKind 19:56:36 iovka has joined #shapes 19:57:03 iovka_ has joined #shapes 19:58:23 PROPOSED: No special treaments of rdf:List and rdf:Resource at sh:class. This means that Turtle lists don't validate against sh:class rdf:List and that many nodes don't validate against rdfs:Resource. 19:59:09 +.5 19:59:10 +0.9 19:59:11 0.5 19:59:18 +0.5 19:59:19 +1 19:59:27 0.5 19:59:33 +0.5 19:59:42 0 (kinda what the hell) 19:59:44 +0.5 19:59:57 +1 -kinda what the hell 20:00:07 RESOLVED: No special treaments of rdf:List and rdf:Resource at sh:class. This means that Turtle lists don't validate against sh:class rdf:List and that many nodes don't validate against rdfs:Resource. 20:01:00 q+ 20:01:05 ack TallTed 20:01:39 q+ 20:01:53 ack hsolbrig 20:02:12 TallTed: This WG is best suitable to define a standard Shape for well-formed rdf:Lists 20:02:44 https://lists.w3.org/Archives/Public/public-data-shapes-wg/2016Feb/0045.html 20:03:05 +q 20:03:12 ack simonstey 20:04:38 simonstey: Special construct was asked for by various use cases. I would prefer to have such a feature. But we left this to future work. 20:04:45 q+ 20:04:47 q+ 20:05:39 ack hknublau 20:06:27 issue-119 20:06:27 issue-119 -- Defining constraints on (values of) rdf:Lists -- closed 20:06:27 http://www.w3.org/2014/data-shapes/track/issues/119 20:06:52 hknublau: We could leave this to a general rdf:List library that can be created by 3rd parties 20:06:55 ack kcoyle 20:07:33 kcoyle: Many people hate rdf:Lists, but it's basic RDF standard, so we need to do something about it. 20:10:26 hknublau: if we are to add a standard Shape, someone needs to produce a draft 20:10:50 ... We should however add three NodeKinds, esp for BlankNodeOrIRI 20:11:39 PROPOSED: sh:NodeKind should be extended with sh:BlankNodeOrIRI (and the two other combinations) 20:11:48 +1 20:11:56 These aren't well enouth specified for me to adequately assess them 20:12:20 +1 but indeed we should enumerate all options 20:12:53 +-0 20:12:57 q+ 20:13:09 q+ 20:13:19 ack Dimitris 20:13:44 ack kcoyle 20:13:53 hknublau: The three new terms could be sh:BlankNodeOrIRI, sh:BlankNodeOrLiteral, sh:IRIorLiteral 20:15:30 http://w3c.github.io/data-shapes/shacl/#AbstractNodeKindPropertyConstraint 20:15:59 i would suggest to add only sh:NonLiteral + the old ones (sh:IRI, sh;BlankNode, sh:Literal) 20:16:49 @Dimitris, I have seen use cases for sh:NonBlankNode (aka IRIOrLiteral). 20:17:23 we can use sh:or for special cases I think but I don;t mind to add more if needed 20:17:45 can they not be combined as individuals? 20:20:46 sh:IRI, sh;BlankNode, sh:Literal, sh:NonIRI, sh;NonBlankNode, sh:NonLiteral ? 20:21:37 q+ 20:21:47 ack kcoyle 20:21:53 sh:not ? 20:22:25 +1 to Karen's concerns 20:22:33 PROPOSED: sh:NodeKind should be extended with sh:BlankNodeOrIRI, sh:BlankNodeOrLiteral, sh:IRIorLiteral 20:22:35 and any node would be blurlteral? 20:22:46 +1 20:22:47 +1 20:22:55 +1 20:22:57 +1 (But Dimitr's syntax would be fine too) 20:23:04 +1 20:23:12 I don't undestand how this would be used to constrain the list, so can't vote intelligently 20:23:12 +1 20:23:17 +0.5 (I would prefer NonLiteral) 20:23:21 sh:not [ sh:property [ sh:predicate ex:prop; sh:nodekind sh:Literal ] ] 20:23:24 +0.5 20:23:37 +0.5 20:24:02 I like Dimitris alternative sugar, too 20:26:12 RESOLVED: sh:NodeKind should be extended with sh:BlankNodeOrIRI, sh:BlankNodeOrLiteral, sh:IRIorLiteral 20:27:08 PROPOSED: change possible values of sh:NodeKind to sh:IRI, sh;BlankNode, sh:Literal, sh:NonIRI, sh;NonBlankNode, sh:NonLiteral 20:27:28 +0 20:27:32 PROPOSED: change possible values of sh:NodeKind to sh:IRI, sh:BlankNode, sh:Literal, sh:NonIRI, sh:NonBlankNode, sh:NonLiteral 20:27:37 +0 20:27:49 +1 20:28:00 +0,5 20:28:05 -.5 20:28:07 +0.5 (shorter strings, same meaning, I think will fit thinking more often) 20:28:15 +0.8 20:28:18 +1 20:29:26 kcoyle: Not would be better than Non. 20:30:30 Non is perfectly valid English usage... 20:30:58 +1 to naan 20:32:38 BlankNode should all become Blanknode -- everywhere 20:32:43 NonBlanknode with lower n 20:32:50 -1 20:34:21 TallTed: inappropriate camelcasing on Blanknode should be undone. `BlankNode` should all become `Blanknode`. 20:34:43 trackbot, end meeting 20:34:43 Zakim, list attendees 20:34:43 As of this point the attendees have been Arnaud, TallTed, kcoyle, dimitris, simonstey, hknublau, hsolbrig, labra, jamsden, iovka, ericP regrets: pfps 20:34:51 RRSAgent, please draft minutes 20:34:51 I have made the request to generate http://www.w3.org/2016/03/03-shapes-minutes.html trackbot 20:34:52 RRSAgent, bye 20:34:52 I see 1 open action item saved in http://www.w3.org/2016/03/03-shapes-actions.rdf : 20:34:52 ACTION: ericP to send proposal for sh:Stem in response to ISSUE-80 [1] 20:34:52 recorded in http://www.w3.org/2016/03/03-shapes-irc#T19-37-05