15:56:12 RRSAgent has joined #rdf-star 15:56:16 logging to https://www.w3.org/2025/06/19-rdf-star-irc 15:56:25 Agenda: https://www.w3.org/events/meetings/40c79d60-8147-4da7-8185-c39434216daf/20250619T120000/ 15:56:25 clear agenda 15:56:25 agenda+ Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2025/06/05-rdf-star-minutes.html , -> 2 https://www.w3.org/2025/06/12-rdf-star-minutes.html 15:56:25 agenda+ TPAC 2025 15:56:25 agenda+ Proposal for next week's discussion 15:56:26 gkellogg has joined #rdf-star 15:56:27 niklasl has joined #rdf-star 15:56:42 agenda+ Review of open actions, available at -> 3 https://github.com/orgs/w3c/projects/20/views/3 15:56:42 agenda+ Review of pull requests, available at -> 4 https://github.com/orgs/w3c/projects/20/views/4 15:56:42 agenda+ Issue Triage, available at -> 5 https://github.com/orgs/w3c/projects/20/views/5 15:56:44 agenda+ Any Other Business (AOB), time permitting 15:58:03 olaf has joined #rdf-star 15:58:18 tl has joined #rdf-star 16:00:16 present+ 16:00:23 ora has joined #rdf-star 16:00:25 present+ 16:00:30 AZ has joined #rdf-star 16:00:32 draggett has joined #rdf-star 16:00:40 present+ 16:01:09 present+ 16:01:30 present+ 16:01:32 present+ 16:01:33 chair+ 16:01:39 present+ 16:01:40 gkellogg has joined #rdf-star 16:01:45 scribe+ 16:01:53 present+ 16:02:19 present+ 16:02:19 present+ 16:02:35 regrets+ Dominik_T, fsasaki, gtw 16:03:15 Zakim, open item 1 16:03:15 agendum 1 -- Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2025/06/05-rdf-star-minutes.html , -> 2 https://www.w3.org/2025/06/12-rdf-star-minutes.html -- 16:03:18 ... taken up [from agendabot] 16:03:20 pfps has joined #rdf-star 16:03:29 james has joined #rdf-star 16:03:36 present+ 16:03:40 ora: Comments about the minutes? 16:03:40 q+ 16:03:46 ack james 16:04:04 james: I have a reservation abut the minutes 16:04:17 ... there were remarks that reification can have semantics 16:04:48 ... there were people in the past (Pat Hayse) 16:05:01 Pat Hayes said that they have semantics, just not normative ones 16:05:12 ... who said that there are semantics 16:05:18 s/they have/ it has 16:05:38 ora: fair enough 16:05:59 Souri has joined #rdf-star 16:06:03 present+ 16:06:11 ... Something else, there was a comment from pfps that he disagrees with pfps 16:06:20 pfps: There is only one of me. 16:06:32 ora: who did you disagree with? 16:07:03 In the minutes it is said that "the semantics of standard reification is just the semantics ascribed to properties and types - there is nothing more". I find that clear enough. 16:07:05 enrico has joined #rdf-star 16:07:14 https://www.w3.org/2025/06/12-rdf-star-minutes.html#9df4 16:07:21 present+ 16:07:57 pfps: Not clear from the minutes who was talking about "that" 16:08:06 ... Ah, it must be tl 16:08:26 ... who I disagreed with 16:08:43 ora: can pchampin please make a correction 16:08:46 PROPOSAL: Approve minutes of last two meetings. 16:08:49 +1 16:08:51 +1 16:08:53 +1 16:08:54 +1 16:08:54 +1 16:08:55 +1 16:08:55 +1 with changes discussed 16:08:57 +1 16:08:58 +1 16:08:59 +1 16:09:01 +0.5 (I was there only for one of the meetings) 16:09:04 +1 16:09:07 +1 16:09:32 RESOLVED: Approve minutes of last two meetings. 16:09:36 Zakim, next item 16:09:36 agendum 2 -- TPAC 2025 -- taken up [from agendabot] 16:10:03 ora: Tomorrow is the deadline to inform W3C whether we want to have a F2F at TPAC 16:10:16 ... which will be in Japan, the week after ISWC 16:10:27 ... also geographically close 16:10:40 ktk: 1 hr by train 16:10:54 ora: I think there is no harm of requesting a slot 16:11:07 q? 16:11:09 ... I cannot guarantee to be there 16:11:47 enrico has joined #rdf-star 16:11:48 ktk: whichever time we pick, either people from Europe or Americas are screwed 16:11:55 Present+ 16:12:17 ktk: Should we take two half-day slots on different days? 16:12:44 ora: How long are the slots? 1.5 hrs? 16:12:44 ktk: longer, I think 16:13:03 ora: We can choose any number of slots, but they are given in 1.5 hrs increments 16:13:23 ... I suggest we pick two slots 16:13:37 ktk: Do we need to give preferences for slots? 16:13:42 pchampin: yes 16:14:00 ktk: I would prefer slots closer to the end of ISWC 16:14:29 I will be at ISWC and I can be at TPAC 16:14:44 ora: We will have people in Europe and in the US who will not come. 16:15:08 ktk: Then, maybe two slots, with one being better for Europe and one better for the US 16:15:25 ora: Are there any other preferences for the days? 16:16:13 gkellogg: We also need to note in the meeting requests the groups we don't want to overlap with 16:16:29 ora: data shapes group, and JSON-LD group, others? 16:16:53 gkellogg: Verifiable Credentials group 16:17:06 ... (?) 16:17:28 ora: How's about request two slots, and we mark all Tuesday slots as possible? 16:17:38 ... Any objections? 16:17:41 s/(?)/Web of Things WG/ 16:17:45 ... Hearing none. 16:17:59 Zakim, next item 16:17:59 agendum 3 -- Proposal for next week's discussion -- taken up [from agendabot] 16:17:59 ... I will submit the form after this meeting. 16:18:28 ora: We have some left-over topics from last time 16:18:45 ktk: and clean up the needs-discussion tag 16:19:00 subtopic: https://github.com/w3c/rdf-star-wg/issues/163 16:19:00 https://github.com/w3c/rdf-star-wg/issues/163 -> Issue 163 extract the "basic-encoding" (formerly unstar) algorithm from RDF-Concepts into a Note (by pchampin) [needs discussion] 16:19:35 pchampin: about #163, I created a PR 16:19:35 https://github.com/w3c/rdf-star-wg/issues/163 -> Issue 163 extract the "basic-encoding" (formerly unstar) algorithm from RDF-Concepts into a Note (by pchampin) [needs discussion] 16:19:52 ... We can close this issue. 16:20:06 subtopic: https://github.com/w3c/rdf-star-wg/issues/164 16:20:07 https://github.com/w3c/rdf-star-wg/issues/164 -> Issue 164 make progress on test suites to move to CR (by pchampin) [needs discussion] 16:20:22 +1 16:20:24 q+ 16:20:40 ack AndyS 16:20:43 ktk: We can remove 'needs discussion' but should the issue remain open? 16:21:02 AndyS: This was more a placeholder what we need for CR for the first batch of docs. 16:21:14 ... tests is one of the things to do. 16:21:32 q+ 16:21:37 ack gkellogg 16:21:50 ktk: Should we have a discussion what else we need for CR? 16:22:20 gkellogg: Regarding the tests, we need to discuss what type of tests we want. What our goal is. 16:22:41 ... with regards to covering all normative statements of the specs. 16:23:25 ora: These two issues seem enough for a meeting. 16:24:06 ktk: I will open another issues to discuss what else is needed for CR. 16:24:21 Zakim, next item 16:24:21 agendum 4 -- Review of open actions, available at -> 3 https://github.com/orgs/w3c/projects/20/views/3 -- taken up [from agendabot] 16:24:32 ktk: And we can also work on cleaning up the open issues. 16:24:51 ora: What happened to Appendix D? 16:25:37 https://github.com/w3c/rdf-star-wg/issues/148 16:25:38 https://github.com/w3c/rdf-star-wg/issues/148 -> Action 148 delete reification subsection from appendix D of semantics spec (on franconi) due 2025-03-07 16:25:54 enrico has joined #RDF-star 16:26:10 Present+ 16:26:39 enrico: This was given to Dörthe, right? 16:26:48 ora: And she is not here. 16:27:12 james4 has joined #rdf-star 16:27:14 enrico: I looked at it, but Dörthe should have (?) 16:27:18 q+ 16:27:27 ack niklasl 16:28:04 niklasl: Domenique has things on RDF schema 16:28:11 q+ on https://github.com/w3c/rdf-semantics/issues/115 16:28:12 https://github.com/w3c/rdf-semantics/issues/115 -> Action 115 add tests for entailment of triple terms (on gkellogg, pchampin) 16:28:17 ... We should do a coordinated action 16:28:21 https://github.com/w3c/rdf-schema/issues/45 16:28:22 https://github.com/w3c/rdf-schema/issues/45 -> Issue 45 Acknowledge the two purposes of this document (by pchampin) [spec:enhancement] 16:28:41 .. https://github.com/w3c/rdf-semantics/issues/85 16:28:42 https://github.com/w3c/rdf-semantics/issues/85 -> Issue 85 remove informative section about reification, collections, and containers from Semantics (by pfps) [spec:editorial] 16:29:19 ora: I assume that nothing has happened on this. 16:29:45 enrico has joined #RDF-star 16:29:54 ... We needed a plan of how things are going to be reorganized, and Domenique was supposed to make such a plan, but he is not here today. 16:29:55 Present+ 16:30:07 AndyS: I has come up with a plan. 16:30:21 https://github.com/w3c/rdf-schema/issues/45#issuecomment-2972710980 16:30:22 ... which is primarily about RDF Schema 16:30:39 s/I has/He has/ 16:31:10 pchampin: he has cut it in separate pieces, which are all documented in the issue 16:31:24 ... I haven't looked at it. 16:31:43 ora: Should all these commits become separate PRs? 16:31:48 +1 for PRs of them (_maybe_ to a final proposal branch, since they perhaps interrelate...) 16:31:58 pchampin: Again, I haven't looked at it. 16:32:15 gkellogg: There seem to be changes that are there to make rebasing easier. 16:32:42 ... But I suggest we create PR with all of these commits included. 16:32:52 ora: Sounds fine to me. 16:33:05 ... Does anyone wants to take this on? 16:33:16 gkellogg: It is Domenique's issue 16:33:17 s/Domenique/Dominik/ 16:33:23 q+ 16:33:28 ack gkellogg 16:33:28 gkellogg, you wanted to comment on https://github.com/w3c/rdf-semantics/issues/115 16:33:45 ... The next step is to create a PR based on these commits. 16:33:52 ... Which is for Dominik to do. 16:34:21 gkellogg: I have updated some of the test. 16:34:39 ... enough to satisfy this action 16:35:24 ktk: Add it explicitly to the issue. 16:35:27 ack pchampin 16:35:55 pchampin: About the RDF Schema thing, my reading is that Dominik is reacting to the pushback on his previous big PR 16:36:20 ... So, let's be careful of not sending mixed messages. 16:37:08 q+ 16:37:10 ... This is a complicated thing, with lots of changes. 16:37:24 ora: That's why I was thinking to have this as separate PRs. 16:37:38 ack niklasl 16:37:45 pchampin: The only risk of having multiple PRs is that they create conflicts when being merged. 16:38:19 niklasl: Dominik wrote that, if these changes are okay, then he would make a big PR. 16:38:49 ktk: There is also the 'squash commits' option 16:39:14 niklasl: doing it piecemeal might be better because of cross-references 16:40:04 gkellogg: The problem was that the changes are combination of structure and content. 16:40:16 ora: What ever makes it easier for folks to review. 16:40:25 ... I like niklasl's idea 16:40:42 ... Important thing is that we have a look at it and can understand what is about to happen. 16:41:35 ... As Dominik has done the work we asked him to do, we should also ask him what he thinks is the best next step. 16:41:55 ... I would like to get this accomplished. 16:42:33 ... Why don't we assign this to Dominik, and next week we can see where we are. 16:43:05 ktk: What is "this" here? 16:43:27 ora: Is this still about removing Appendix D? 16:43:49 pchampin: No, Dominik is working on RDF Schema. 16:44:02 https://github.com/w3c/rdf-star-wg/issues/162 16:44:03 https://github.com/w3c/rdf-star-wg/issues/162 -> Action 162 make a proposal for a new plan on RDF-schema, per w3c/rdf-schema/45 (on domel) due 2025-06-12 16:44:06 ... once that is done, the Appendix can be moved. 16:44:45 ktk: Okay, then the right issue is already assigned to Dominik. 16:45:48 ora: Our desire here is for Dominik to construct the PR. 16:45:57 ktk: or a branch? 16:46:21 gkellogg: If we want people to review it, it needs to be in a PR. 16:46:45 niklasl: I added a comment in the issue. 16:46:47 https://github.com/w3c/rdf-schema/issues/45#issuecomment-2988672512 16:46:48 https://github.com/w3c/rdf-schema/issues/45 -> Issue 45 Acknowledge the two purposes of this document (by pchampin) [spec:enhancement] 16:47:12 > Would it help to create a "final changes" branch and make PRs from these already created branches to that one? That might help out in reviewing each small PR (without merging them to main until all have been reviewed). 16:47:23 ora: The test for entailment are sufficient? 16:47:55 gkellogg: The tests that are there use the old syntax. I changed them to make them consistent with the new syntax. 16:47:56 FWIW, I'm planning to review these tests, soon-ish 16:48:12 ... That's a reasonable place to start, and we can always add more tests. 16:48:27 q+ 16:48:30 ora: What about the owlification? 16:48:33 subtopic: https://github.com/w3c/rdf-star-wg/issues/150 16:48:34 https://github.com/w3c/rdf-star-wg/issues/150 -> Action 150 Create note on triple term owlification (on niklasl) due 2025-03-07 16:48:48 ack niklasl 16:49:05 niklasl: I made some progress and I am very happy to see pchampin's interop repo 16:49:18 ... to see whether it makes sense to integrate it there. 16:49:30 the repo niklasl is mentioning is: https://github.com/w3c/rdf-interop 16:49:30 ... Will look further into it. 16:49:37 subtopic: https://github.com/w3c/rdf-concepts/issues/170 16:49:38 https://github.com/w3c/rdf-concepts/issues/170 -> Issue 170 Decide names and IRIs for type and constituent properties of basic-encoded triple terms (by niklasl) [needs discussion] 16:49:53 q+ 16:49:54 ... But I cannot move an issue to that repo. 16:50:01 ack pchampin 16:50:17 pchampin: Do you suggest to move that issue to rdf-interop? 16:50:22 niklasl: yes 16:50:28 pchampin: makes sense 16:50:49 ... I propose to move the issue, unless anyone objects 16:50:56 ... No objection! 16:51:20 q+ subtopic: w3c/rdf-star-wg#159 16:51:21 ora: I haven't done my action (159) but try to get it done before the end of the week. 16:51:36 ack pchampin subtopic: w3c/rdf-star#55 16:52:05 pchampin: The Echidna issue on rdf-primer is fixed now. subtopic: w3c/rdf-star#168 16:53:21 pchampin: There is a PR on Concepts to remove the appendix about unstar, and rdf-interop contains a Note with this content 16:53:43 gkellogg: We have to add this to the list of documents that we have in common repo. 16:53:55 pchampin: Good point! 16:54:22 ... I will do it. 16:54:32 action: pchampin to add rdf-interop to rdf-common, and propagate that to other repos 16:54:34 Created -> action #168 https://github.com/w3c/rdf-star-wg/issues/168 topic: Review of pull requests, available at [4](https://github.com/orgs/w3c/projects/20/views/4) 16:54:36 ora: Let's look at the PRs. 16:54:38 q+ 16:54:41 q+ 16:55:07 q+ 16:55:21 ack gkellogg 16:55:40 ack olaf subtopic: https://github.com/w3c/rdf-n-triples/pull/58 16:55:44 gkellogg: The version announcement is something that we need to decide. It affects the tests. 16:56:23 subtopic: w3c/sparql-query#221 and w3c/sparql-query#227 16:56:23 https://github.com/w3c/sparql-query/pull/221 -> Pull Request 221 Consider bnode graph names in evaluation of Graph (by hartig) 16:56:23 https://github.com/w3c/sparql-query/pull/227 -> Pull Request 227 Adds explicit definition of the algebraic syntax (by hartig) 16:55:48 scribe+ 16:56:02 olaf: I have two PRs on sparql-query that have been opened for a long time 16:56:08 ... AndyS, do you still want to look at them? 16:57:07 AndyS: does not look controversial 16:57:14 ack niklasl subtopic: dark mode in Respec 16:57:32 niklasl: There is slow progress on the dark mode related PR. 16:57:35 scribe- 16:57:54 ... It gives me some insights of what os possible in respec and what now. 16:58:13 ... I have coordinated with the highlight-js repo. 16:58:22 ... I haven't given up yet. 16:59:06 RRSAgent, draft minutes 16:59:07 I have made the request to generate https://www.w3.org/2025/06/19-rdf-star-minutes.html ktk 16:59:09 RRSAgent, make minutes 16:59:10 I have made the request to generate https://www.w3.org/2025/06/19-rdf-star-minutes.html pchampin 16:59:18 RRSAgent, make logs public 17:00:13 olaf has left #rdf-star 17:01:54 meeting: RDF & SPARQL WG 17:02:03 previous meeting: https://www.w3.org/2025/06/12-rdf-star-minutes.html 17:02:11 next meeting: https://www.w3.org/2025/06/26-rdf-star-minutes.html 17:02:14 RRSAgent, make minutes 17:02:16 I have made the request to generate https://www.w3.org/2025/06/19-rdf-star-minutes.html pchampin 17:02:37 s/abut/about/ 17:02:37 s/Pat Hayse/Pat Hayes/ 17:02:37 s/How's about/How about/ 17:02:37 s/then, maybe/then maybe/ 17:02:37 s/placeholder what we need/placeholder for what we need/ 17:02:39 s/Does anyone wants to/Does anyone want to/ 17:02:42 s/what os possible/what is possible/ 17:02:55 RRSAgent, draft minutes 17:02:57 I have made the request to generate https://www.w3.org/2025/06/19-rdf-star-minutes.html ktk