16:54:37 RRSAgent has joined #rdf-star 16:54:42 logging to https://www.w3.org/2025/01/09-rdf-star-irc 16:54:47 meeting: RDF-Star WG biweekly meeting 16:54:55 Agenda: https://www.w3.org/events/meetings/f1d5533f-ff2b-4d70-941c-db47b0b5918d/20250109T120000/ 16:54:56 clear agenda 16:54:56 agenda+ Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2024/12/12-rdf-star-minutes.html , -> 2 https://www.w3.org/2024/12/19-rdf-star-minutes.html 16:54:56 agenda+ Time Management -> 3 https://lists.w3.org/Archives/Public/public-rdf-star-wg/2025Jan/0008.html 16:54:58 agenda+ Prioritization of next week's topics -> 4 https://github.com/orgs/w3c/projects/20/views/6 16:54:58 agenda+ Review of open actions, available at -> 5 https://github.com/orgs/w3c/projects/20/views/3 16:55:01 agenda+ Review of pull requests, available at -> 6 https://github.com/orgs/w3c/projects/20/views/4 16:55:04 agenda+ Issue Triage, available at -> 7 https://github.com/orgs/w3c/projects/20/views/5 16:55:07 agenda+ Any Other Business (AOB), time permitting 16:55:11 RRSAgent, draft minutes 16:55:13 I have made the request to generate https://www.w3.org/2025/01/09-rdf-star-minutes.html ktk 16:55:16 RRSAgent, make log public 16:55:27 present+ 16:55:44 pfps has joined #rdf-star 16:56:17 james has joined #rdf-star 16:57:13 eBremer has joined #rdf-star 16:57:37 tl has joined #rdf-star 16:58:48 eBremer: you would be scribe, is this working for you? 16:58:53 yah 16:58:57 tnx 16:59:02 Scribe: eBremer: 16:59:17 s/eBremer:/eBremer/ 16:59:24 niklasl has joined #rdf-star 16:59:30 ora has joined #rdf-star 16:59:40 present+ 16:59:44 present+ 16:59:53 present+ 17:00:03 present+ 17:00:06 present+ 17:00:06 chair+ 17:00:11 olaf has joined #rdf-star 17:00:22 present+ 17:00:31 previous meeting: https://www.w3.org/2024/12/20-rdf-star-minutes.html 17:00:31 next meeting: https://www.w3.org/2025/01/10-rdf-star-minutes.html 17:00:31 present+ 17:00:33 I have made the request to generate https://www.w3.org/2025/01/09-rdf-star-minutes.html TallTed 17:00:42 gkellogg has joined #rdf-star 17:00:45 fsasaki has joined #rdf-star 17:01:09 present+ 17:01:51 present+ 17:02:16 doerthe has joined #rdf-star 17:02:23 present+ 17:02:28 present+ 17:02:29 minutes look ok to me 17:02:32 present+ 17:02:35 AZ has joined #rdf-star 17:02:39 present+ 17:02:53 Zakim, open item 1 17:02:53 agendum 1 -- Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2024/12/12-rdf-star-minutes.html , -> 2 https://www.w3.org/2024/12/19-rdf-star-minutes.html -- 17:02:56 ... taken up [from agendabot] 17:03:05 present+ 17:03:13 present+ 17:03:22 PROPOSAL: Approve minutes from 2024-12-12 and 2024-12-19 17:03:31 +1 17:03:34 +1 17:03:35 +1 17:03:37 +1 17:03:40 +1 17:03:44 +1 17:03:48 +0 17:03:50 +1 17:03:59 +0 (I was not present) 17:03:59 +1 17:04:00 eBremer has joined #rdf-star 17:04:07 present+ 17:04:07 +1 17:04:20 +1 17:04:22 +1 17:04:26 +1 17:04:26 +1 17:04:26 +1 17:04:26 +1 17:04:30 RESOLVED: Approve minutes from 2024-12-12 and 2024-12-19 17:04:36 Zakim, next item 17:04:36 agendum 2 -- Time Management -> 3 https://lists.w3.org/Archives/Public/public-rdf-star-wg/2025Jan/0008.html -- taken up [from agendabot] 17:04:46 enrico has joined #rdf-star 17:04:53 present+ 17:05:28 gkellogg: we have been at this for sometime...in a piecemeal fashin 17:05:44 ... we need to change the way we work..using project management 17:05:53 ... establish dates and stick to them 17:06:05 s/+0 (I was not present)/+0.5 (I was not present 2024-12-12) 17:06:10 ... we have tests in that are provisional... 17:06:21 ... still going back and forth on the syntax... 17:06:43 q? 17:06:52 ora: do you feel some stuff is going to fall by the wayside... 17:07:14 gkellogg: we have to make some hard decisions... 17:07:30 ... the conversations now are getting us closer and thats great.. 17:08:29 ... concentrate on the abstract syntax and not get distracted from that 17:08:49 doerthe has joined #rdf-star 17:09:00 ora: how should we organize this and can we divide and conquer? 17:09:01 present+ 17:09:12 q+ 17:09:16 ... divide ourselves into smaller task forces...any thoughts? 17:09:18 ack pfps 17:09:45 pfps: many of us are interested in many areas...difficult to pull apart this ball of string.. 17:09:47 q+ 17:09:52 ora: this is true 17:09:53 ack AndyS 17:10:26 AndyS: when we pick items to discuss...each item has a sheperd.. 17:10:57 ora: shepards do preparatory work to speed things around 17:11:22 q+ 17:11:22 AndyS: I'm finding difficult to spend time on the multiple tracks at any given time.. 17:11:26 ack pfps 17:11:49 pfps: one of the things causing alot of work is how we are editing our documents.... 17:12:04 ... if you care about it, it ends up consuming alot of time 17:12:55 pfps: ...several larges wastes of time coming from non-editors 17:13:18 ora: suggests to me that we may need to reassess the roles of editors... 17:13:37 q+ 17:13:38 ... of course one of the problems is that we have alot of documents... 17:14:24 ack gkellogg 17:14:27 ora: we have many things people have string opinions about 17:15:42 gkellogg: focus on semantics and concepts... 17:15:55 ora: can we commit ourselves to those? 17:15:59 s/string/strong 17:16:12 q+ to ask about whole-document review 17:16:18 ack AndyS 17:16:18 AndyS, you wanted to ask about whole-document review 17:16:35 I would put that somewhat differently - there were some central things that the WG needs to do but there were quite a number of other things that were done, took a lot of WG resources, and are still consuming resources. This is independent of which document is involved. 17:16:49 AndyS: when are we expecting to do whole document review? 17:17:37 +1 to Andy's comment that PR reviews are expanding the scope of the PRs 17:18:18 ora: I like the idea of whole document reviews... 17:18:55 q+ 17:19:20 ora: pick two people to drive this...prod other people or the whole group to get reviews in 17:19:21 ack tl 17:19:38 tl: I like the idea to focus on concepts and semantics... 17:20:04 ... syntax is an issue that is hard and has to be done sometime... 17:20:15 ... semantics is a big issue.. 17:20:22 q+ to disagree 17:20:33 q+ 17:20:35 ack pfps 17:20:35 pfps, you wanted to disagree 17:20:50 pfps: I disagree about semantics... 17:21:13 ... all we need to do is get a syntax... 17:21:28 ack doerthe 17:21:42 +1 to pfps: have a vote soon on abstract syntax and simple semantics 17:21:57 doerthe: I agree with pete, but we need to bring the semantics forward... 17:22:06 Lot of semantics doesn't matter much - the important part is simple semantics because that impacts (or should impact) SPARQL 17:22:10 q+ 17:22:13 s/pete/peter 17:22:16 q+ 17:22:38 ack pchampin 17:23:00 pchampin: I think a middle ground....I generally agree with peter... 17:23:14 ... the semantics dont need to be discuss with the general group...we have the task force.. 17:23:20 enrico has joined #rdf-star 17:23:26 present+ 17:23:28 q? 17:23:47 ... the rest of the group can focus on the abstract syntax which is what we should be focusing on in the moment 17:24:11 ... triple terms in the subject position... 17:24:16 My point is that the concrete and abstract syntax stuff doesn't depend on much of Semantics so get the abstract syntax and the concrete syntaxes done without worrying about the details of the semantics. 17:24:43 ack enrico 17:25:02 enrico: I believe we should make a final decision on the abstract syntax... 17:25:20 ... should we allow triple terms only in the object position? 17:25:48 q+ 17:25:56 When did generalized syntax (literals in subject posiion) show up? 17:26:24 it appears in the rdf-semantics document, already now wrt literals 17:26:31 (somehow) 17:26:41 q- 17:26:53 ora: should we make this a topic of discussion next week? 17:27:43 As far as I can tell generalized RDF only shows up in non-normative sections of both Concepts and Semantics. 17:28:05 q+ 17:28:13 ora: I agree with Peter that the abstract syntax dont depend on what we do in the semantics 17:28:15 ack enrico 17:28:32 enrico: we need to make a decision soon on the simple semantics 17:28:33 ... 17:30:10 q+ 17:30:32 q+ to ask whether there isn't already a decided-on abstract syntax 17:30:34 ack pchampin 17:30:47 q+ 17:31:26 ack pfps 17:31:26 pfps, you wanted to ask whether there isn't already a decided-on abstract syntax 17:31:37 q- 17:32:14 q+ 17:32:18 ack AndyS 17:33:12 Section 3 of RDF 1.2 Concepts and Abstract Syntax has the abstract syntax. As far as I can tell it corresponds to WG decisions and covers everything needed. 17:33:26 q+ 17:33:37 +1 to AndyS 17:33:40 ack pchampin 17:34:46 q+ 17:35:08 Section 7 of Concepts needs to be updated. 17:35:13 pchampin: all of the interpretations are based on RDF Concepts 17:35:14 ack fsasaki 17:38:26 q+ 17:38:28 fsasaki: do we want to work with a list of what needs to be done by what dates? 17:39:09 I'm trying to figure out just what core work needs to be done. As far as I can tell, the only core work that needs to be done is to approve a simple semantics that covers triple terms. So let's have the semantics task force put forward a proposal for this (only) for discussion and voting on next week. 17:39:13 q+ 17:39:32 we are not starting from nothing; failing to achieve consensus on a PR can mean "we keep this part of the spec as is for now" 17:39:33 ack gkellogg 17:40:05 gkellogg: we pick a date...what are the things that have to be done to achieve a milestone? 17:40:45 ... the intention is to put things out there for the community to see... 17:40:53 q+ to agree with Gregg, with exception of Section 7 17:41:05 ack pfps 17:41:05 pfps, you wanted to agree with Gregg, with exception of Section 7 17:41:23 q+ 17:41:40 ack ktk 17:41:42 pfps: I agree with Greg. I look over concepts and it seems to be in good shape....we could do a document review except section 7... 17:42:36 q+ to sugges that the Semantics TF produce a document for simple semantics for discussion and voting on next week 17:42:43 s/sugges/suggest/ 17:42:45 ack pfps 17:42:45 pfps, you wanted to sugges that the Semantics TF produce a document for simple semantics for discussion and voting on next week 17:43:13 pfps: concepts in fine shape... 17:44:16 q+ 17:44:26 ack AndyS 17:44:31 ora: ...for concepts and semantics we could be to CR fairly soon 17:45:06 AndyS: we have scope creep on PRs...there are many things to juggle and it becomes inefficient 17:45:21 q+ 17:45:28 ack pchampin 17:45:51 q+ 17:46:16 ack gkellogg 17:46:43 gkellog: what would move us forward if everyone could review rdf concepts.... 17:47:09 s/gkellog:/gkellogg:/g 17:48:04 I agree, I feel that we are converging on Simple-, RDF- and RDFS- semantics. 17:49:00 ora: ...focus on concepts document next week....and maybe vote on simple semantics 17:49:39 ... sounds like the concepts document could be ready very soon... 17:50:12 ... every look at it....see if there are any items of concern and bring to meeting next week 17:51:30 https://github.com/w3c/rdf-concepts/pull/124 17:51:30 https://github.com/w3c/rdf-concepts/pull/124 -> Pull Request 124 Remove 'recognized datatype IRI' in favor of RDF Semantics definition and use (by afs) [spec:substantive] 17:51:33 https://github.com/w3c/rdf-concepts/pull/124 17:51:58 +1 to merge this PR 17:52:04 q+ 17:52:38 ack pchampin 17:53:03 gkellogg: approve of this PR so it is included in the group review of rdf concepts 17:53:27 s/gkellogg: approve/pchampin: approve 17:53:57 q+ 17:54:55 q- 17:55:00 ack pchampin 17:55:21 https://iswc2025.semanticweb.org/ 17:55:44 It turns out that the current version of Section 7 has triple terms in it, so it looks to me that Concepts is ready for review. 17:56:00 RRSAgent, make minutes 17:56:02 I have made the request to generate https://www.w3.org/2025/01/09-rdf-star-minutes.html pchampin 17:58:51 olaf has left #rdf-star 18:06:39 PFPS - for semantics "symmetric" is what matters. Propably need bnode in the predicate position because of [I+A](r.p) 18:17:14 gkellogg has joined #rdf-star 18:34:56 gkellogg has joined #rdf-star 18:50:25 gkellogg has joined #rdf-star 19:05:31 gkellogg has joined #rdf-star 19:23:48 gkellogg has joined #rdf-star 19:34:52 pfps has left #rdf-star 20:02:35 gkellogg has joined #rdf-star 20:34:20 gkellogg has joined #rdf-star 21:44:54 gkellogg has joined #rdf-star 22:03:06 gkellogg has joined #rdf-star 22:19:44 gkellogg has joined #rdf-star 22:38:11 gkellogg has joined #rdf-star