16:00:58 RRSAgent has joined #rdf-star 16:01:03 logging to https://www.w3.org/2025/04/03-rdf-star-irc 16:01:03 gkellogg has joined #rdf-star 16:01:04 meeting: RDF-Star WG biweekly meeting 16:01:12 present+ 16:01:15 Agenda: https://www.w3.org/events/meetings/e99f9039-f9bc-4333-b7a1-dd4c5a02d8b2/20250403T120000/ 16:01:15 clear agenda 16:01:15 agenda+ Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2025/03/20-rdf-star-minutes.html , -> 2 https://www.w3.org/2025/03/27-rdf-star-minutes.html 16:01:15 agenda+ Proposal for next week's discussion 16:01:16 agenda+ Review of open actions, available at -> 4 https://github.com/orgs/w3c/projects/20/views/4 16:01:17 agenda+ Review of pull requests, available at -> 5 https://github.com/orgs/w3c/projects/20/views/5 16:01:20 agenda+ Issue Triage, available at [6] 16:01:22 agenda+ Any Other Business (AOB), time permitting 16:01:26 RRSAgent, draft minutes 16:01:27 I have made the request to generate https://www.w3.org/2025/04/03-rdf-star-minutes.html ktk 16:01:31 RRSAgent, make log public 16:01:32 eBremer has joined #rdf-star 16:01:37 present+ 16:01:48 present+ 16:01:48 present+ 16:01:48 present+ 16:02:01 present+ 16:02:11 present+ 16:02:13 abc has joined #rdf-star 16:02:16 present+ 16:02:28 Scribe: tl 16:02:32 present+ 16:02:33 pfps has joined #rdf-star 16:02:38 Chair: ktk 16:02:40 present+ 16:02:42 present+ 16:03:04 regrets+ Dominik_T, fsasaki 16:03:36 Zakim, open issue 1 16:03:36 I don't understand 'open issue 1', ktk 16:03:49 Zakim, open topic 1 16:03:49 I don't understand 'open topic 1', ktk 16:03:53 Zakim, open item 1 16:03:53 agendum 1 -- Approval of minutes from the last two meetings: -> 1 https://www.w3.org/2025/03/20-rdf-star-minutes.html , -> 2 https://www.w3.org/2025/03/27-rdf-star-minutes.html -- 16:03:57 ... taken up [from agendabot] 16:03:59 present+ 16:04:19 minutes look good to me 16:04:21 Souri has joined #rdf-star 16:04:23 present+ 16:04:27 present+ 16:04:28 q? 16:04:35 PROPOSAL: Approve last two meetings' minutes. 16:04:44 doerthe has joined #rdf-star 16:04:49 +1 16:04:50 +1 16:04:52 +1 16:04:53 +1 16:04:54 +1 16:04:54 +1 16:04:59 +1 16:05:02 +1 16:05:05 +0.5 (was absent last week) 16:05:07 +1 16:05:28 +1 16:05:29 +1 16:05:32 +1 16:05:41 RESOLUTION: Approve last two meetings' minutes. 16:05:43 present+ 16:05:47 Zakim, next item 16:05:47 agendum 2 -- Proposal for next week's discussion -- taken up [from agendabot] 16:06:24 https://github.com/orgs/w3c/projects/20/views/3 16:06:44 Are we at the stage of reviewing Concepts? 16:06:49 https://github.com/orgs/w3c/projects/20/views/6 16:07:03 q? 16:07:33 ktk: comments on peter's question? 16:07:35 q+ 16:07:46 ack pchampin 16:08:21 pchampin: still needs to do a pass on the issues (most of them seem to be minor) 16:08:26 q+ 16:08:32 s/needs/need 16:08:33 ack niklasl 16:08:37 https://github.com/w3c/rdf-concepts/issues/145 16:08:38 https://github.com/w3c/rdf-concepts/issues/145 -> Issue 145 Clarify introduction of triple terms and reification (by niklasl) [ms:CR] 16:09:17 niklas (points pchampin to issue 145) 16:09:38 q? 16:09:50 q+ 16:09:57 ack olaf 16:10:17 olaf: have no open todos myself 16:10:36 q+ 16:10:59 ack gkellogg 16:11:35 gkellogg: changes to RDF schema, and move datatype definitions from schema to concepts have been discussed. should be done before publishing 16:12:22 ... interaction between documents makes it hard to publish concepts, schema and semantics seperately from each other (at different times) 16:13:04 ... getting closer to publishing, need some effort, but need to split our efforts between those three documenst 16:13:13 abc has joined #rdf-star 16:13:20 q+ 16:13:32 ack AndyS 16:13:35 ktk: so concepts wil not be a topic next week 16:14:03 andys: pr on conceprts wrt non normative wording [???] 16:14:20 TallTed has joined #rdf-star 16:15:01 ... we have to deal with it 16:15:07 q+ 16:15:10 q+ 16:15:15 ktk: propose to making this first topic next week 16:15:17 ack pchampin 16:16:10 gkellogg: we don't want to make any broad changes wrt suggestions versus normative 16:16:26 ack gkellogg 16:16:30 s/normative/normative wording 16:17:01 .. don't try to be copmpürehensive across all documents 16:17:23 ... would reject [???] pr 16:17:31 +1 to rejecting the PR 16:17:34 TallTed has changed the topic to: RDF-star WG -- 2025-04-03 agenda: https://www.w3.org/events/meetings/e99f9039-f9bc-4333-b7a1-dd4c5a02d8b2/20250403T120000/ 16:17:41 https://github.com/w3c/rdf-concepts/pull/182 16:17:41 https://github.com/w3c/rdf-concepts/pull/182 -> Pull Request 182 Declare advisement level keywords for non-normative content in Conformance (by csarven) [needs discussion] [spec:editorial] 16:18:01 s|[???] pr|w3c/rdfconcepts#182 16:18:09 I have made the request to generate https://www.w3.org/2025/04/03-rdf-star-minutes.html TallTed 16:18:50 previous meeting: https://www.w3.org/2025/03/27-rdf-star-minutes.html 16:18:52 next meeting: https://www.w3.org/2025/04/04-rdf-star-minutes.html 16:18:56 present+ 16:19:00 w3c/rdf-star-wg#141 16:19:01 https://github.com/w3c/rdf-star-wg/issues/141 -> Issue 141 Which parties carry what costs of text/turtle changes, and do those outweigh which benefits for whom? (by RubenVerborgh) [needs discussion] 16:19:15 Ruben's write-up -- https://github.com/w3c/rdf-star-wg/blob/main/docs/version-proposal.md 16:19:46 pchampin: suggest to discuss issue #141. proposal by ruben has been made. i like it uand would like us to make a decision. we need at least n-triples to be published in a first round, to make the test work. so this should be on the top of our list 16:19:46 https://github.com/w3c/rdf-star-wg/issues/141 -> Issue 141 Which parties carry what costs of text/turtle changes, and do those outweigh which benefits for whom? (by RubenVerborgh) [needs discussion] 16:20:14 ... suggest that everyone has a look at this so that we can make a decision next week 16:20:16 I have made the request to generate https://www.w3.org/2025/04/03-rdf-star-minutes.html TallTed 16:20:22 q? 16:20:31 q+ 16:20:56 s/copmpürehensive/comprehensive/ 16:21:01 pfps: didn't we talk about 147? 16:21:17 pchampin: seems like we could close it 16:22:17 scribe+ 16:22:21 ktk: same for 128 16:22:34 I have made the request to generate https://www.w3.org/2025/04/03-rdf-star-minutes.html TallTed 16:23:18 pfps: will check if anything in 147 has to be done, but it has been voted on and can be closed 16:23:28 tl: I think #128 still needs to be discussed 16:23:29 https://github.com/w3c/rdf-star-wg/issues/128 -> Issue 128 map the annotation syntax to `rdfs:states` (by rat10) [needs discussion] [propose closing] 16:23:32 scribe- 16:23:33 tL: 128 can't be closed just yet 16:24:01 andys: sparql exists 16:24:28 ktk: discussion about task force for sparql exists 16:25:27 scribe+ 16:25:54 tl: the graphical representations in concept and primer are conflating the asserted statement and the triple term 16:26:06 ... this goes agains what has been long discussed in the WG 16:26:14 s/agains /against / 16:26:36 ... I need to sort my thoughts, I'll prepare something for next week 16:26:44 AndyS: is this the syntax discussion? 16:27:08 tl: no we voted on that. We need people to understand that the reified statement and the statement itself are two different things. 16:27:41 q? 16:27:46 ... I'll provide a summary that decouples it from the annotation syntax. 16:27:46 Note that triple terms are no longer distinct from triples: a triple term is a triple used as an object. The triple itself denotes a proposition. If the triple is in the graph (which is a set of triples), it is a fact in the interpretation. 16:27:56 ack pfps 16:27:57 ask pfps 16:28:10 s/ask/ack/ 16:28:21 Zakim, next item 16:28:21 agendum 3 -- Review of open actions, available at -> 4 https://github.com/orgs/w3c/projects/20/views/4 -- taken up [from agendabot] 16:28:38 q+ 16:28:39 scribe+ 16:28:44 ack pchampin 16:29:00 Actions: https://github.com/orgs/w3c/projects/20/views/3 16:29:19 pchampin: first one (?) is not yet done for the primer. second one can be paused 16:29:46 ... first draft note of the primer has been published. 16:29:50 https://www.w3.org/TR/rdf12-primer/ 16:29:53 https://www.w3.org/TR/rdf-primer/upcoming/ 16:30:23 ... links now point to the latest published versions unless they ask for a specific version 16:31:19 ack pchampin 16:31:20 q? 16:31:38 ... until we make it a note rather than a draft note 16:31:52 pfps: 151 is done 16:32:09 ... will be closed 16:32:20 https://github.com/w3c/rdf-star-wg/issues/150 16:32:21 https://github.com/w3c/rdf-star-wg/issues/150 -> Action 150 Create note on triple term owlification (on niklasl) due 2025-03-07 16:32:36 niklas: not much progress on that one 16:33:28 pfps: issue #####? came out of a semantics meeting two weeks ago 16:33:47 Zakim, next item 16:33:47 agendum 4 -- Review of pull requests, available at -> 5 https://github.com/orgs/w3c/projects/20/views/5 -- taken up [from agendabot] 16:33:49 ... we need new entailment test and haven't decided yet who does it 16:34:14 https://github.com/orgs/w3c/projects/20/views/4 16:35:04 The semantics task force meeting might want to discuss https://github.com/w3c/rdf-semantics/issues/115 16:35:04 https://github.com/w3c/rdf-semantics/issues/115 -> Action 115 add tests for entailment of triple terms (on ) 16:35:10 q? 16:36:08 This is the respec PR: https://github.com/speced/respec/pull/4925 16:36:09 https://github.com/speced/respec/pull/4925 -> Pull Request 4925 Support dark mode toggle for SVGs and highlight.js (by niklasl) 16:36:17 gkellogg: a number of issues relate to dark mode, and niklas is working on something 16:36:26 ktk: propose to ignore those for now 16:36:41 q+ 16:36:43 .... so sparql remains 16:37:04 greggwilliams: working on code points 16:37:14 s/greggwilliams:/gtw:/ 16:37:24 olaf: will work on sparql query 16:37:41 q+ 16:37:48 ack olaf 16:38:19 ack gkellogg 16:38:43 gkellogg: same term/same value seems t have a lot to do with NAN, but we can't test those, so why making it normative? 16:39:19 andys: worthwhile to spend some time on it as long as the documents are open 16:39:43 ... functions and operators handling values ####? 16:40:42 ktk: so this one stays open? 16:41:01 olaf: just looked at it, i will approve it right away 16:42:55 q? 16:42:56 gkellogg: more work on tests outstanding. also RDF/XML... 16:43:10 Zakim, next item 16:43:10 agendum 5 -- Issue Triage, available at -- taken up [from 6] 16:43:56 andys: there's a proposed closing tab as i've just seen. maybe could be made use of 16:44:06 https://github.com/orgs/w3c/projects/20/views/11 16:44:13 ktk: propose to use it 16:46:24 https://github.com/w3c/rdf-turtle/issues/63 16:46:24 https://github.com/w3c/rdf-turtle/issues/63 -> CLOSED Issue 63 need name for `~` separating `iri`/`BlankNode` production and `reifier` that follows (by TallTed) [propose closing] 16:46:44 i|ktk: propose to use it|subtopic: https://github.com/w3c/rdf-turtle/issues/63 16:46:59 RRSAgent, make minutes 16:47:01 I have made the request to generate https://www.w3.org/2025/04/03-rdf-star-minutes.html pchampin 16:47:21 subtopic: https://github.com/w3c/rdf-semantics/issues/51 16:47:22 https://github.com/w3c/rdf-semantics/issues/51 -> Issue 51 HTML code in the spec has bad quality (by domel) [propose closing] [spec:editorial] 16:48:01 gkellogg: still like the code quality to improve 16:48:30 pchampin: took an action to make dominics changes more reviewable but didn't have time 16:48:49 subtopic: https://github.com/w3c/rdf-concepts/issues/139 16:48:50 https://github.com/w3c/rdf-concepts/issues/139 -> Issue 139 Merge unstar mapping PR into RDF Concepts and Abstract Syntax (by rat10) [ms:CR] [propose closing] 16:49:27 subtopic: https://github.com/w3c/rdf-concepts/issues/144 16:49:28 https://github.com/w3c/rdf-concepts/issues/144 -> Issue 144 the term identity comparison must be defined for triple terms (by lisp) [propose closing] 16:49:52 q? 16:50:14 subtopic: https://github.com/w3c/rdf-schema/issues/34 16:50:15 https://github.com/w3c/rdf-schema/issues/34 -> Issue 34 2.2 rdfs:Class (by riannella) [propose closing] [spec:editorial] 16:50:53 q+ 16:51:10 ack pchampin 16:52:07 q+ 16:52:30 pchampin: made a pass on RDF Schema recently. the document a s a whole is self-sufficient, some individual terms could use more clarity 16:53:18 q+ 16:53:52 pfps: adding a little link "see above" (refering to that section that talks about classes) would be adequate. otherwise we would need to write a long document about iontology modelling with classes 16:54:45 pchampin: as an alternative to "see above" the introduction could define a few terms explicitly (using DFN tag) 16:55:33 ack AndyS 16:55:35 ack pchampin 16:55:50 I agree: the statement that `rdfs:Class a rdfs:Class` is not supposed to explain what classes are. 16:56:08 andys: does the confusion maybe come from rdfs:Class being defined as being an instnace of rdfs:Class? in that case a proper definition of rdfs:Class wouldn't help 16:56:41 and then `rdfs:Resource a rdfs:Class. rdfs:Class rdfs:subClassOf rdfs:Resource.` :-> 16:57:57 RRSAgent, make minutes 16:57:58 I have made the request to generate https://www.w3.org/2025/04/03-rdf-star-minutes.html pchampin 17:05:17 olaf has left #rdf-star 17:22:01 gkellogg has joined #rdf-star 17:39:27 gkellogg has joined #rdf-star 18:45:39 gkellogg has joined #rdf-star 19:08:33 gkellogg has joined #rdf-star 19:30:46 gkellogg has joined #rdf-star 19:53:51 gkellogg has joined #rdf-star 20:09:47 gkellogg has joined #rdf-star regrets+ ora