16:35:10 RRSAgent has joined #rdf-star 16:35:14 logging to https://www.w3.org/2024/12/05-rdf-star-irc 16:35:14 Zakim has joined #rdf-star 16:37:23 I have made the request to generate https://www.w3.org/2024/12/05-rdf-star-minutes.html TallTed 16:38:30 agenda: https://www.w3.org/events/meetings/6a7136b4-d353-4e17-9156-3c0ebda64443/20241205T120000/ 16:38:30 previous meeting: https://www.w3.org/2024/11/22-rdf-star-minutes.html 16:38:30 next meeting: https://www.w3.org/2024/12/06-rdf-star-minutes.html 16:38:30 clear agenda 16:38:30 agenda+ Consider reintroducing property paths {x,y} syntax dropped in SPARQL 1.1 -> 1 https://github.com/w3c/sparql-query/issues/147 16:38:30 agenda+ Drop the requirement to support ill-typed literals with recognized datatype IRIs -> 2 https://github.com/w3c/rdf-concepts/issues/60 16:38:31 agenda+ RDF graphs with value-space literals -> 3 https://github.com/w3c/rdf-star-wg/issues/136 16:38:32 agenda+ Allow dataset formats to be valid in LOAD with no INTO -> 4 https://github.com/w3c/sparql-update/issues/41 16:38:35 agenda+ Additional "needs discussion" issues -> 5 https://github.com/orgs/w3c/projects/20/views/6 16:38:38 agenda+ Any Other Business (AOB), time permitting 16:45:36 AndyS has joined #rdf-star 16:47:42 pchampin has changed the topic to: RDF Star WG meeting: 2024-12-05 agenda -- https://www.w3.org/events/meetings/6a7136b4-d353-4e17-9156-3c0ebda64443/20241205T120000/ 16:47:51 zakim, who is here? 16:47:51 Present: (no one) 16:47:53 On IRC I see AndyS, Zakim, RRSAgent, TallTed, timbl, pchampin, driib5, gb, m2gbot, ktk, csarven, gtw, agendabot, Tpt, rhiaro 16:53:07 meeting: RDF-star WG biweekly focused meeting 16:53:16 RRSAgent, make minutes 16:53:17 I have made the request to generate https://www.w3.org/2024/12/05-rdf-star-minutes.html pchampin 16:55:33 agenda? 16:57:01 eBremer has joined #rdf-star 16:58:35 james has joined #rdf-star 16:58:45 tl has joined #rdf-star 17:00:03 present+ 17:00:15 present+ 17:00:40 present+ 17:00:54 doerthe has joined #rdf-star 17:00:58 present+ 17:01:03 niklasl has joined #rdf-star 17:01:05 present+ 17:01:05 ora has joined #rdf-star 17:01:25 present+ 17:01:31 present+ 17:01:35 gkellogg has joined #rdf-star 17:01:37 present+ 17:01:48 present+ 17:02:05 present+ 17:02:23 present+ 17:02:23 AZ has joined #rdf-star 17:02:31 scribe: AndyS 17:03:01 draggett has joined #rdf-star 17:03:11 present+ 17:03:23 chair+ 17:04:00 Souri has joined #rdf-star 17:04:20 present+ 17:04:48 regrets+ enrico 17:04:56 present+ 17:05:30 present+ 17:05:35 ora: chairs propose timeboxing items to 20mins. 17:05:45 present+ 17:05:48 ... can still be less 17:06:03 ... idea is to at least take the temperature 17:06:16 ... this is an experiment 17:06:25 ... comments? 17:06:28 q? 17:06:43 ora: (no comments) 17:06:59 zakim, take up item 1 17:06:59 agendum 1 -- Consider reintroducing property paths {x,y} syntax dropped in SPARQL 1.1 -> 1 https://github.com/w3c/sparql-query/issues/147 -- taken up [from agendabot] 17:07:03 olaf has joined #rdf-star 17:07:15 q+ 17:07:18 q+ 17:07:32 ack TallTed 17:07:47 ack Tpt 17:07:55 scribe+ 17:08:02 AndyS has joined #rdf-star 17:08:11 scribe: AndyS 17:08:31 tallted: delay to future work 17:08:38 Tpt: I'm confused also because this is much less an errata than the EXIST feature, on which we are having scope-discussion 17:08:45 AndyS: agree to postpone 17:09:03 scribe- 17:09:18 q+ 17:09:19 + 1 gkellogg 17:09:19 gregg: 1.2 specs marked new features ... so not 1.3 17:09:24 ack ktk 17:09:48 ktk: At this point we say "later" and no "when" 17:09:59 ora: OK? 17:10:17 (agreement by silence) 17:10:19 q+ 17:10:39 +1 to future-work. 17:10:54 ack pchampin 17:11:24 AndyS: I will clear-up the GH issue after the meeting 17:12:18 PROPOSAL: postpone to future work, after main RDF&SPARQL 1.2 are complete 17:12:20 +1 17:12:20 +1 17:12:21 +1 17:12:23 +1 17:12:23 +1 17:12:23 +1 17:12:26 +1 17:12:27 +1 17:12:29 +1 17:12:30 +1 17:12:31 +1 17:12:37 +1 17:12:37 +1 17:12:37 william_vw has joined #rdf-star 17:12:39 +1 17:12:43 present+ 17:13:14 present+ 17:13:30 https://github.com/w3c/sparql-update/issues/41 -> Issue 41 Allow dataset formats to be valid in LOAD with no INTO (by afs) [Errata] [needs discussion] [spec:enhancement] 17:14:16 pchampin: (wrong link) 17:14:17 w3c/sparql-update#147 17:14:18 Issue 147 not found 17:14:30 w3c/sparql-query#147 17:14:31 https://github.com/w3c/sparql-query/issues/147 -> Issue 147 consider reintroducing property paths `{x,y}` syntax dropped in SPARQL 1.1 (by TallTed) [ms:future-work] [needs discussion] [spec:enhancement] 17:14:37 RESOLVED: postpone w3c/sparql-query#147 to future work, after main RDF&SPARQL 1.2 are complete 17:14:58 zakim, next item 17:14:58 agendum 2 -- Drop the requirement to support ill-typed literals with recognized datatype IRIs -> 2 https://github.com/w3c/rdf-concepts/issues/60 -- taken up [from agendabot] 17:15:19 q+ 17:15:42 ack ktk 17:15:42 ora: from outside the group 17:16:14 ktk: last time (3 weeks ago), .... now we have a proposal. 17:16:15 q+ 17:16:45 https://github.com/w3c/rdf-concepts/issues/60#issuecomment-2491851385 17:16:46 https://github.com/w3c/rdf-concepts/issues/60 -> Issue 60 Drop the requirement to support ill-typed literals with recognized datatype IRIs (by wouterbeek) [needs discussion] [spec:enhancement] 17:17:01 ack james 17:17:01 doerthe has joined #rdf-star 17:17:08 present+ 17:17:36 james: as a matter of process, why is this being worked on? 17:17:52 q+ 17:18:02 ack pchampin 17:18:39 q+ 17:19:15 ack james 17:19:17 pchampin: W3C hat off -- while there was no errata, it seems a low hanging fruit and some existing implementation implement "should" - codify existing practice. 17:19:52 I still need to write down an answer, but I have some data about that 17:19:54 james: I asked for a catalog of implementations 17:20:00 q+ 17:20:19 ack ktk 17:20:23 pchampin: I have data 17:20:26 q+ 17:20:36 ack james 17:20:56 james: I am concerned because of interoperability 17:21:16 q+ 17:21:23 ack gkellogg 17:21:28 ora; table until next time (US "table" meaning) 17:21:37 s/ora;/ora:/ 17:21:49 q+ 17:22:35 gkellogg: it relates to "supported datatypes" and hence for the instance and interoperability is not related to "supported datatypes" 17:22:42 ack TallTed 17:22:42 ... could label tests 17:23:14 tallted: not an erratum until previous work reviewed 17:23:21 q+ 17:23:34 ack pchampin 17:24:00 pchampin: not all system do the same 17:24:10 q+ 17:24:28 ... does not impact interoperability because ill-typed literals do not have a meaning 17:25:08 ... to ted - datatype are not opaque in the same way as general IRIs 17:25:53 ack james 17:26:20 james: could interpret it as an errata in the other direction 17:27:42 .. lisp has "undef" clauses in the spec 17:28:25 s/.. lisp/... lisp/ 17:29:03 +1 to provide a way for implementation to be explicit about what they are doing with ill-formed literals 17:29:17 present+ 17:29:26 ora: suggest we see what data pchampin has collected 17:29:54 q+ to ask about application-specific datatypes, which might be subtypes (or supertypes) of xsd 17:30:14 ack TallTed 17:30:14 TallTed, you wanted to ask about application-specific datatypes, which might be subtypes (or supertypes) of xsd 17:30:42 TallTed: at the moment, anyone can define a datatype 17:30:56 ... works until it encounters a system that drops them 17:31:10 q+ 17:31:24 q+ 17:31:42 ack AndyS 17:31:42 scribe+ 17:31:51 q- 17:32:05 https://www.w3.org/TR/rdf12-concepts/#dfn-recognized-datatype-iri 17:32:05 AndyS: the text refers to "recognized datatypes" that a system must declare. 17:32:29 Souri has joined #rdf-star 17:32:30 ... So I don't think that TallTed's concern will happen. 17:32:43 ... I don't know systems that declare the datatypes they recognize. 17:32:50 present+ 17:32:59 scribe- 17:33:31 STRAWPOLL: table (@en-us) until we have seen pchampin's data 17:34:09 https://github.com/w3c/rdf-concepts/issues/60 17:34:10 https://github.com/w3c/rdf-concepts/issues/60 -> Issue 60 Drop the requirement to support ill-typed literals with recognized datatype IRIs (by wouterbeek) [needs discussion] [spec:enhancement] 17:34:24 STRAWPOLL: table (@en-us) https://github.com/w3c/rdf-concepts/issues/60 until we have seen pchampin's data 17:34:33 +1 17:34:33 +1 17:34:35 +1 17:34:36 +1 17:34:41 +1 17:34:44 +1 17:34:45 +1 17:34:46 +1 17:34:49 +1 17:34:51 +1 17:34:53 +1 17:34:54 +1 17:34:55 +1 17:34:59 +1 17:34:59 +1 17:35:10 +1 17:35:14 +1 17:35:23 zakim, next item 17:35:23 agendum 3 -- RDF graphs with value-space literals -> 3 https://github.com/w3c/rdf-star-wg/issues/136 -- taken up [from agendabot] 17:36:05 regrets+ pfps 17:36:23 q+ 17:36:37 q+ 17:36:38 ack AndyS 17:36:39 scribe+ 17:37:07 AndyS: I think we can't do it. It needs careful thoughts and may have many visible impacts. 17:37:19 ... It may be valuable, but needs much more work. 17:37:27 ack gkellogg 17:37:27 niklasl has joined #rdf-star 17:37:50 scribe- 17:37:51 AndyS: don't do it in RDF 1.2 - need significant preparation 17:38:24 gkellogg: similarly - we should postpone. 17:38:39 james has joined #rdf-star 17:39:02 ... wait for when pfps attends 17:39:31 ora: call for support to work on it (silence) 17:39:36 q+ 17:39:44 james has joined #rdf-star 17:39:51 ack pchampin 17:40:25 pchampin: pfps away next week as well 17:40:28 q+ 17:40:42 ack gkellogg 17:41:12 gkellogg: we have a pause label 17:41:48 ora: leave as-is 17:41:57 zakim, next item 17:41:57 agendum 4 -- Allow dataset formats to be valid in LOAD with no INTO -> 4 https://github.com/w3c/sparql-update/issues/41 -- taken up [from agendabot] 17:42:07 niklasl has joined #rdf-star 17:42:20 https://github.com/w3c/sparql-update/pull/46 17:42:21 https://github.com/w3c/sparql-update/pull/46 -> Pull Request 46 LOAD RDF document clarification (description section and definition section) (by afs) 17:42:34 scribe+ 17:43:09 AndyS: At the time SPARQL Update was written, it worked only on graphs. It's undefined on how to load documents that describe datasets. 17:43:39 ... The PR says that LOAD loads to the dataset, so that quads in TriG would create a SPARQL dataset. 17:43:54 q+ 17:44:02 ... There are more complicated things, such are re-mapping graph names, but that is not covered in this proposal. 17:44:29 ... Some formats it is difficult to know if it encodes a graph or a dataset (e.g., JSON-LD). 17:45:03 ... It says you need to generate an error if there are any quads, otherwise, it would go into the target graph. 17:45:34 ora: If I were loading N-Quads, and it specified the graph to load into, would it be an error 17:45:41 ack pchampin 17:45:53 q+ 17:45:54 AndyS: Yes, that would be an error. If there is no graph name, it would go into the target graph. 17:46:21 pchampin: Could we say that the "INTO" is where default triples go? And other triples go into their specified graph. 17:46:36 ... (Verified Credentials use cases). 17:46:42 ... Blank node graph names. 17:47:12 AndyS: There are systems that would just use the default data, and they would not be compliant. 17:47:13 regrets+ fsasaki 17:47:36 ... The PR is just addressing the case on when there is no "INTO" clause. 17:47:57 ... Use cases with blank nodes are interesting, as are renaming use cases, but that is not the target of this PR. 17:48:11 ... Please raise issues for other use cases. 17:48:28 ack james 17:48:28 ... So, LOAD <...> loads the dataset. 17:49:10 james: How does this align with the graph-store protocol, which is also underspecified. Can they be aligned? 17:49:14 q+ 17:49:33 ... Having a matrix for the variants would be helpful information, even if incomplete. 17:49:42 ack AndyS 17:49:42 ... It's hard to understand the affect as is. 17:50:02 AndyS: The graph-store protocol is not quite the same thing, as you need to explicitly name the target. 17:50:15 q+ 17:50:16 ... There is another protocol for loading quads into a dataset: HTTP. 17:50:27 ... You can argue that that is loading the dataset. 17:50:53 ack james 17:50:54 ... We could add an informational note about this, but right now, I suggest we focus on the LOAD use case. 17:51:38 james: It's odd that that the graph-store protocol is not sufficient. I think it's inability to handle other graphs as an erratum. 17:52:03 ... I consider the issues to be the same, they both have to do with quads going into a dataset. 17:52:45 ora: Nothing prevents us from fixing the graph-store protocol from being inline with this. Do you object to fixing this right now? 17:53:08 james: I'd like to know specifically where we're going to understand the expected behavior, as these are interrelated. 17:53:19 ... I'd like to see a more transparent description of what should happen. 17:53:56 AndyS: Perhaps james can read the definitional part of Op Load. Please make a separate proposal, but people actually need to work on it. 17:54:19 ora: I suggest we fix LOAD now and consider a matrix approach in the future. 17:55:06 PROPOSAL: Continue with https://github.com/w3c/sparql-update/issues/41. 17:55:07 https://github.com/w3c/sparql-update/issues/41 -> Issue 41 Allow dataset formats to be valid in LOAD with no INTO (by afs) [Errata] [needs discussion] [spec:enhancement] 17:55:14 +1 17:55:15 +1 17:55:15 +1 17:55:15 +1 17:55:16 +1 17:55:16 +1 17:55:20 +1 17:55:23 +1 17:55:24 +1 17:55:29 +1 17:55:38 +1 17:55:49 +1 17:55:54 +1 17:55:55 +1 17:55:56 +1 17:55:59 +1 17:56:00 +1 17:56:07 RESOLVED: Continue with https://github.com/w3c/sparql-update/issues/41. 17:56:07 https://github.com/w3c/sparql-update/issues/41 -> Issue 41 Allow dataset formats to be valid in LOAD with no INTO (by afs) [Errata] [needs discussion] [spec:enhancement] 17:57:20 james: I will add a matrix to the issue to see if I have understood correctly. 17:58:04 q+ to ask about status label of issue #130 17:58:04 https://github.com/w3c/rdf-star-wg/issues/130 -> Issue 130 vocabulary to refer to the individual nodes in a triple term (by rat10) [discuss-f2f] 17:58:05 https://github.com/w3c/rdf-star-wg/issues/130 -> Issue 130 vocabulary to refer to the individual nodes in a triple term (by rat10) [discuss-f2f] 17:58:17 ack tl 17:58:17 tl, you wanted to ask about status label of issue #130 17:58:18 agenda? 17:59:11 RRSAgent, make minutes 17:59:12 I have made the request to generate https://www.w3.org/2024/12/05-rdf-star-minutes.html pchampin 17:59:23 zakim, close item 4 17:59:23 agendum 4, Allow dataset formats to be valid in LOAD with no INTO -> 4 https://github.com/w3c/sparql-update/issues/41, closed 17:59:25 I see 2 items remaining on the agenda; the next one is 17:59:25 5. Additional "needs discussion" issues -> 5 https://github.com/orgs/w3c/projects/20/views/6 [from agendabot] 17:59:51 olaf has left #rdf-star 18:07:10 timbl has joined #rdf-star 18:20:25 gkellogg has joined #rdf-star 18:36:34 gkellogg has joined #rdf-star 18:52:50 gkellogg has joined #rdf-star 19:23:30 gkellogg has joined #rdf-star 19:53:06 timbl has joined #rdf-star 20:44:40 gkellogg has joined #rdf-star 20:59:47 gkellogg has joined #rdf-star