15:57:43 RRSAgent has joined #rdf-star 15:57:47 logging to https://www.w3.org/2023/10/19-rdf-star-irc 15:57:49 meeting: RDF-star Working Group Weekly Meeting 15:57:58 RRSAgent, draft minutes 15:57:59 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html ktk 15:58:24 Agenda: https://www.w3.org/events/meetings/d45f4f0d-141c-440d-8fec-ef5842345ca2/20231019T120000/ 15:58:25 clear agenda 15:58:25 agenda+ Scribe: Taelman, Ruben (alternate: Thibodeau, Ted) 15:58:25 agenda+ Approval of minutes from the last two weeks: [1] 15:58:25 agenda+ Proposal for next week's discussion 15:58:26 agenda+ Review of open actions, available at [2] 15:58:28 agenda+ Review of pull requests, available at [3] 15:58:31 agenda+ Issue Triage, available at [4] 15:58:33 agenda+ Any Other Business (AOB), time permitting 15:59:31 pfps has joined #rdf-star 15:59:43 RRSAgent, make minutes public 15:59:43 I'm logging. I don't understand 'make minutes public', ktk. Try /msg RRSAgent help 15:59:50 RRSAgent make minutes public 15:59:56 present+ 15:59:59 present+ 16:00:00 TallTed has changed the topic to: RDF-star — 2023-10-19 Agenda: https://www.w3.org/events/meetings/d45f4f0d-141c-440d-8fec-ef5842345ca2/20231019T120000/ 16:00:02 RRSAgent, make logs public 16:00:08 present+ 16:00:16 niklasl has joined #rdf-star 16:00:16 present+ 16:00:20 present+ 16:00:22 present+ 16:00:27 present+ 16:00:27 present+ 16:00:33 previous meeting: https://www.w3.org/2023/10/12-rdf-star-minutes.html 16:00:50 ora has joined #rdf-star 16:00:54 AZ has joined #rdf-star 16:00:54 next meeting: https://www.w3.org/2023/10/26-rdf-star-minutes.html 16:01:04 present+ 16:01:16 scribe+ 16:01:18 present+ 16:01:27 present+ 16:01:36 present+ 16:01:39 chair+ 16:01:51 olaf has joined #rdf-star 16:02:13 fsasaki: Joining from SAP (?) 16:02:15 Dominik_T has joined #rdf-star 16:02:19 present+ 16:02:24 present+ 16:03:02 present+ 16:03:27 doerthe has joined #rdf-star 16:03:27 RRSAgent, draft minutes 16:03:28 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html TallTed 16:03:36 present+ 16:03:42 ora: This is an administrative meeting, like every other week. The other longer meetings are for getting actual work done. 16:03:44 Zazkim, next item 16:03:51 ... I heard last meeting was productive. 16:03:52 s/RRSAgent make minutes public// 16:03:57 Zakim, next item 16:03:57 agendum 1 -- Scribe: Taelman, Ruben (alternate: Thibodeau, Ted) -- taken up [from agendabot] 16:04:14 Zazkim, close agendum 1 16:04:14 Zazkim, next item 16:04:40 Zakim, close agendum 1 16:04:40 agendum 1, Scribe: Taelman, Ruben (alternate: Thibodeau, Ted), closed 16:04:41 I see 6 items remaining on the agenda; the next one is 16:04:41 2. Approval of minutes from the last two weeks: [from 1 via agendabot] 16:04:54 zakim, next item 16:04:54 agendum 2 -- Approval of minutes from the last two weeks: -- taken up [from 1] 16:04:56 niklasl: It was a good discussion. We need to talk about the charter in the next meeting. There are many conceptual conversions already. 16:05:56 s/conversions/convergences/ 16:06:17 ktk: After TPAC, we decided to have longer meetings every 2 weeks to go more in-depth on tech details. The shorter meeting is more focused on admin. 16:06:29 fsasaki: Same timeslot? 16:06:35 ktk: It starts one hour earlier. 16:06:59 ktk: Timezone change is coming up. For EU, it will be one hour later. 16:07:06 ora: In US, we don't change at the same time. 16:07:09 https://www.w3.org/groups/wg/rdf-star/calendar 16:07:53 TallTed: Don't do it in your head, use the calendar. 16:08:36 there is the W3C calendar for the WG (link above) - there is a link to an ICS feed that you can subscribe to in your favourite calendar app 16:08:36 draggett has joined #rdf-star 16:09:09 https://www.w3.org/2023/10/05-rdf-star-minutes.html 16:09:16 two-weeks-ago minutes look fine to me. 16:09:37 PROPOSAL: approve minutes of October 5 16:09:39 +1 16:09:42 +1 16:09:47 +1 16:09:47 +1 16:09:47 +1 16:09:48 +0 (absent) 16:09:48 +1 16:09:49 +1 16:09:51 +1 16:09:54 +0 (absent) 16:09:54 +1 16:09:59 +1 16:10:04 +0 (absent) 16:10:06 +1 16:10:18 RESOLVED: approve minutes of October 5 16:10:38 https://www.w3.org/2023/10/12-rdf-star-minutes.html 16:10:46 PROPOSAL: approve minutes of October 12 16:10:51 +1 16:10:52 +1 16:10:53 +1 16:10:53 +1 16:10:53 last week's minutes need a topic 16:10:55 -0 16:10:56 +0 (absent) 16:10:57 +1 16:11:25 +1 16:11:28 +1 16:11:29 +0.5 agree with pfps, will add it 16:11:37 +1 16:11:43 +1 16:11:46 +1 16:11:57 +1 16:12:05 +1 with the added topic 16:12:07 +1 16:13:14 RESOLVED: approve minutes of October 12 16:13:25 Zakim, next item 16:13:25 agendum 3 -- Proposal for next week's discussion -- taken up [from agendabot] 16:13:35 RRSAgent, draft minutes 16:13:37 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html TallTed 16:13:58 q+ 16:14:02 tl: I sent a mail today which I would like to discuss next week. 16:14:03 s/Zazkim, close agendum 1// 16:14:07 ack AndyS 16:14:10 s/Zazkim, next item// 16:14:36 AndyS: Not related to the topic, but I would like to discuss how we will get to actual actions. 16:14:49 q+ 16:14:57 ... We have many different proposals, which will take a very long time to get through. 16:14:59 q+ 16:15:04 ack niklasl 16:15:07 +1 to try and turn these discussions into actions 16:15:39 niklasl: I agree with AndyS, but I also think that tl's proposal is interesting to be discussed. 16:15:43 present+ 16:15:58 ... We should only have one topic per meeting, but I wonder if we should have 2. 16:16:26 q+ 16:16:37 ... There are use cases, testing them, and un-staring (can what we do also work in rdf 1.1 environment). 16:16:49 s/un-staring/un-starring/ 16:16:54 ack gkellogg_ 16:17:03 q? 16:17:33 gkellogg_: I think PA tried to have a strawpoll on if the group wants to pursue graphs as a basis instead of triples. 16:18:17 q+ 16:18:44 ack TallTed 16:18:46 ... It would be useful if our work now includes graphs. Either based on something existing, or something new. 16:18:46 q+ 16:18:58 TallTed: We have multiple tracks going at the same time. 16:19:28 ... 1) Fixing errata and making all docs look like each other, and 2) figuring out how to handle quoted/asserted statements. 16:19:54 ... Regarding 2, we could compare them in a tabular form. 16:20:19 ... There is a lot of convergence between the proposals. 16:20:55 ack tl 16:21:42 tl: Our proposal is new, but inherits from rdf-star and the other proposals. I would be happy if we could discuss it. Use cases are on my todo-list. 16:21:50 ack niklasl 16:22:13 niklasl: Ted alluded to if we are on board with graphs. I myself am. 16:22:40 ... But Peter said that we may be moving beyond use cases like Wikidata and LPGs. 16:23:10 ... Also: we should not say singleton property graph, but singleton graph edge. 16:24:41 q+ 16:24:54 ... What worries me is the aspect of unasserted triples. I am trying to clarify this. 16:25:03 ack pchampin 16:25:51 ora: I think graph-vs-triple discussion is something we need to continue. 16:26:03 +1 for spreadhseet comparison 16:26:04 ... I like the idea of a spreadsheet for comparison. 16:26:23 q+ 16:26:30 q- 16:26:33 ack AndyS 16:27:31 ora: Not sure if we decided how to pick the tech discussion topic. 16:27:36 ktk: We as chairs decide. 16:28:09 Zakim, next item 16:28:09 agendum 4 -- Review of open actions, available at -- taken up [from 2] 16:28:24 https://github.com/orgs/w3c/projects/20/views/3 16:30:13 pchampin: I marked 2 actions as complete. 16:31:10 Zakim, next item 16:31:10 agendum 5 -- Review of pull requests, available at -- taken up [from 3] 16:31:26 q+ 16:31:27 https://github.com/orgs/w3c/projects/20/views/4 16:31:34 ack gkellogg_ 16:32:13 gkellogg_: The update to n-quads is marked substantive, but I don't think it's controversial. Similar Turtle and TriG changes are incoming. 16:32:19 q+ to ask whether this actually changes the set of valid N-Quads documents? 16:32:22 ... I will merge them later. 16:32:44 ... There is a test for C14N in tests repo. We need more, but we need more than one reviewer. 16:32:51 q+ to talk about new entailment rule 16:33:30 ack pchampin 16:33:30 pchampin, you wanted to ask whether this actually changes the set of valid N-Quads documents? 16:33:58 ack pfps 16:33:58 pfps, you wanted to talk about new entailment rule 16:34:27 pfps: I found a bug in informative entailment rules. Could anyone who understands these rules review the PR? 16:35:01 ... Reason for the bug is that RDF entailment includes 2 datatypes, and that change was not reflected. 16:35:03 https://github.com/w3c/rdf-semantics/pull/45 16:35:15 xsd:string and rdf:langString 16:36:15 ora: Any volunteers? 16:36:16 I volunteer 16:36:20 I can review this 16:36:39 I will also have a look, if still needed 16:36:53 Thanks AZ and doerthe 16:37:02 and pchampin :) 16:37:07 pfps: The changes are quite minimal. 16:37:42 The first change is in Section 8.1.1 16:38:07 RRSAgent, draft minutes 16:38:08 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html ktk 16:38:35 https://github.com/w3c/rdf-concepts/pull/67 16:38:45 gkellogg_: There is a WIP PR on implications of graph terms. 16:38:59 https://github.com/w3c/rdf-concepts/pull/67 16:39:16 Zakim, next item 16:39:16 agendum 6 -- Issue Triage, available at -- taken up [from 4] 16:39:17 ora: I urge people to have a look at that. 16:39:28 https://github.com/orgs/w3c/projects/20/views/5 16:39:45 q+ 16:39:55 ack TallTed 16:40:30 TallTed: The project dashboard lacks some columns, like creation date. 16:41:07 gkellogg_: This has been a requested feature on GH for a while now. 16:41:24 q+ 16:41:29 TallTed: Project dashboards are useless without this feature. 16:42:06 https://github.com/forem/forem/issues/1837 16:42:06 https://github.com/forem/forem/issues/1837 -> CLOSED Issue 1837 Sort Dashboard by Publish date where available (by wuz) [external contributors welcome] 16:42:15 ack AndyS 16:42:58 AndyS: Have you looked at project boards in GitHub? 16:44:38 see also https://github.com/orgs/community/discussions/8518 16:45:05 q+ 16:45:17 ack pchampin 16:45:37 pchampin: There is a link to filtering by date. 16:47:22 Zakim, next item 16:47:22 agendum 7 -- Any Other Business (AOB), time permitting -- taken up [from agendabot] 16:47:37 ora: Next Friday I will give a talk about our OneGraph project at the LDBC ... working group. 16:47:51 ... It was suggested that we open that meeting to the members of the RDF-star WG. 16:48:52 ... I don't have joining instructions yet. 16:48:57 ... It's at 10 AM ET 16:49:06 ... On Friday the 27th. 16:49:51 gkellogg_: November 5th is US daylight-savings time switching. 16:49:57 AndyS: Europe is 1 week earlier. 16:50:06 ora: AOB? 16:51:02 https://github.com/w3c/rdf-star-wg/issues/15 -> Action 15 [closed] test ghurlbot for the last time (?) (on pchampin) 16:51:12 ora: I will share my slides. 16:52:05 RRSAgent, make minutes 16:52:06 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html pchampin 16:52:42 olaf has left #rdf-star 16:54:17 gb, issues off 16:54:17 pchampin, OK. 16:54:19 s/as complete./as complete: w3c/rdf-star-wg#77 and w3c/rdf-star-wg#94. 16:54:24 gb, issues on 16:54:24 pchampin, OK. 16:54:29 RRSAgent, make minutes 16:54:31 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html pchampin 16:54:59 pfps has left #rdf-star 16:57:13 s|https://github.com/w3c/rdf-star-wg/issues/15 -> Action 15 [closed] test ghurlbot for the last time (?) (on pchampin)| 16:57:13 https://github.com/w3c/rdf-star-wg/issues/15 -> Action 15 [closed] test ghurlbot for the last time (?) (on pchampin) 16:57:25 gb, issues off 16:57:26 pchampin, OK. 16:57:28 s|https://github.com/w3c/rdf-star-wg/issues/15 -> Action 15 [closed] test ghurlbot for the last time (?) (on pchampin)| 16:57:31 gb, issues on 16:57:31 pchampin, OK. 16:57:38 RRSAgent, make minutes 16:57:40 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html pchampin 16:58:04 s|gb, issues on||g 16:58:07 s|gb, issues off||g 16:58:09 RRSAgent, make minutes 16:58:10 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html pchampin 17:40:01 meeting: RDF-star WG biweekly short meeting 17:40:03 RRSAgent, make minutes 17:40:04 I have made the request to generate https://www.w3.org/2023/10/19-rdf-star-minutes.html pchampin