00:31:39 gkellogg has joined #rdf-star 00:50:56 gkellogg has joined #rdf-star 01:08:14 gkellogg has joined #rdf-star 15:51:52 RRSAgent has joined #rdf-star 15:51:52 logging to https://www.w3.org/2025/06/12-rdf-star-irc 15:52:22 meeting: RDF-star WG biweekly focused meeting 15:52:27 meeting: RDF-star WG biweekly focused meeting 15:52:47 Agenda: https://www.w3.org/events/meetings/3145be7b-99e7-49af-90b0-aee845dc7b2d/20250612T120000/ 15:52:47 clear agenda 15:52:47 agenda+ extract the "basic-encoding" (formerly unstar) algorithm from RDF-Concepts into a Note -> 1 https://github.com/w3c/rdf-star-wg/issues/163 15:52:47 agenda+ vocabulary to refer to the individual nodes in a reified triple term -> 2 https://github.com/w3c/rdf-star-wg/issues/130 15:52:48 agenda+ make progress on test suites to move to CR -> 3 https://github.com/w3c/rdf-star-wg/issues/164 15:52:49 agenda+ Version announcement -> 4 https://github.com/w3c/rdf-n-triples/pull/58 15:52:52 agenda+ Decide names and IRIs for type and constituent properties of basic-encoded triple terms -> 5 https://github.com/w3c/rdf-concepts/issues/170 15:52:58 RRSAgent, draft minutes 15:52:59 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html ktk 15:53:05 RRSAgent, make log public 15:53:20 present+ 15:57:02 prsent+ 15:57:31 Dominik_T has joined #rdf-star 15:58:32 AndyS has joined #rdf-star 15:58:55 james has joined #rdf-star 15:59:00 tl has joined #rdf-star 15:59:47 pfps has joined #rdf-star 16:00:15 present+ 16:00:27 ora has joined #rdf-star 16:00:37 olaf has joined #rdf-star 16:00:38 Chair: ora: 16:00:40 Chair: ora 16:00:50 present+ 16:00:50 present+ 16:00:53 present+ 16:01:07 present+ 16:01:10 scribe+ 16:01:29 niklasl has joined #rdf-star 16:01:34 present+ 16:01:46 AZ has joined #rdf-star 16:02:02 Souri has joined #rdf-star 16:02:03 present+ 16:02:07 present+ 16:02:22 present+ 16:02:32 previous meeting: https://www.w3.org/2025/06/05-rdf-star-minutes.html 16:02:32 next meeting: https://www.w3.org/2025/06/13-rdf-star-minutes.html 16:02:47 Zakim, open item 1 16:02:47 agendum 1 -- extract the "basic-encoding" (formerly unstar) algorithm from RDF-Concepts into a Note -> 1 https://github.com/w3c/rdf-star-wg/issues/163 -- taken up [from agendabot] 16:02:58 present+ 16:03:46 present+ 16:03:49 present+ 16:03:55 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html TallTed 16:04:11 q? 16:04:44 present+ 16:05:12 pchampin: There are some ongoing discussion on the unstar mapping. It is an non-normative part of RDF concepts that takes a singnificant amount of space. It might make sense to move it out of the spec in a dedicated note. This way it does not block RDF concepts to move into CR 16:05:21 present+ 16:05:34 q+ 16:05:40 pchampin: The main point is to move it out of RDF concepts to not block RDF concepts moving into a CR 16:05:41 ack tl 16:05:41 It's fine by me to move this to a note. 16:05:42 q+ 16:06:06 q+ 16:06:16 ack gkellogg 16:06:22 tl: Having unstar is pretty essential to connect new concepts with the existing ones 16:06:48 ack pfps 16:06:53 gkellogg: If it an informative note, how can it be used by RDF canonicalization? Would they have to do a new version of it that is normative? 16:07:01 q+ to respond re. c14n 16:07:19 q+ 16:07:22 ack pchampin 16:07:22 pchampin, you wanted to respond re. c14n 16:07:23 pfps: I disagree with tl, I don't see how the basic encoding help to explain the relation between old and new concepts 16:08:00 present+ 16:08:03 pchampin: +1 to pfps, it is important that this mapping does not give the impression it is *the* relation between triple terms and statements 16:08:04 the mapping is not in any way saying how triple terms relate to rdf:Statement, at least so far 16:08:28 pchampin: I agree that other specs might want to rely on that and we have a problem 16:08:29 q+ 16:08:30 ack niklasl 16:08:31 q+ 16:08:40 doerthe has joined #rdf-star 16:08:46 present+ 16:08:55 as far as I remember there was very little support for making triple terms relate to the RDF reification voculary in any way 16:09:42 q+ 16:10:16 niklasl: Formally there is no difference between a note and having it being a part of RDF concepts 16:10:26 +1 to niklas 16:10:52 niklasl, the difference is that we *could* decide to make it normative after all if it remains in Concepts; this is not an option if we move it to a Note 16:10:54 ack tl 16:11:00 niklasl: It can't be done as part of RDF schema semantic, we need to do it elsewhere 16:11:40 tl: The semantic of triple term is nearly indistiguishable with RDF standard reification, we could just merge the two 16:11:51 q+ 16:12:13 Not *only* though. 16:12:15 the semantics of triple terms are different from the semantics of standard reification - the difference is important 16:12:19 ack gkellogg 16:12:43 q+ 16:12:53 RRSAgent, draft minutes 16:12:54 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html Dominik_T 16:13:00 ack ora 16:13:00 tl: We could consider publishing as a note and in the WG maintainance mode move it to a normative element or integrate it into RDF concepts 16:13:20 ora: A note like this would be more than this "unstar" mapping. It would have some advises to people 16:13:36 ora: for me it make sense to have it as note 16:13:37 ack niklasl 16:14:03 q- 16:14:48 q+ 16:14:52 +1 pfps 16:14:54 niklasl: I agree with that, perhaps we need two notes, a compatibility note and one with advices 16:15:31 ack tl 16:16:00 tl: Reification in RDF 1.0 has an informal semantic. 16:16:26 q+ 16:16:26 Define semantics? It is based on RDF semantics, but adds none? 16:16:32 ora: I would like a decision 16:16:34 the semantics of standard reification is just the semantics ascribed to properties and types - there is nothing more! 16:16:45 ack AndyS 16:16:58 +1 to pfps 16:16:58 ora: We can start as "non normative" and make it normative if there is a reason 16:17:16 AndyS: What the barrier to having an other normative document? 16:17:21 q+ 16:17:49 ack pchampin 16:18:17 q+ 16:18:19 pchampin: Adding a new REC track deliverable might be an heavier process 16:18:26 pfps: what more does it need? 16:18:46 pchampin: I would like to agree to separate it from RDF concepts and then differ the decision to make it a note or a recommandation 16:18:52 what more does what need? 16:19:06 the definition of the semantics 16:19:14 ack ora 16:19:16 the semantics of what? 16:19:51 pfps: "the semantics of standard reification is just the semantics ascribed to properties and types - there is nothing more!" that semantics 16:19:57 q+ 16:20:06 ack pchampin 16:20:18 ora: If we have a note, its scope can be larger than unstar and contain more content like advices. If it is normative, it might make more sense to have it in concepts 16:20:38 I don't think that anything more is "needed". One might want to have more, but the current semantics is a (weak) stable point. 16:21:11 pchampin: For me the urgency is to free RDF concepts to go into CR 16:21:29 pchampin: then we can have further discussion on REC vs NOTE and on the document scope 16:22:28 pchampin: I don't want to give the impression that all RDF 1.2 implementations needs to support unstar even if it's only for specific use cases 16:23:02 ora: If I understand what you mean, you want to say "if you want to have this kind of processing, do it this way" and not "to implement RDF you need to be able to do that" 16:23:15 q+ 16:23:23 different "bridges": full-basic, basic-1.1 16:23:27 ack AndyS 16:24:03 AndyS: If you put it into a best practice document, it would weird to have some normative sections 16:24:20 AndyS: We can decide now to have a separate document (initially a NOTE) 16:24:52 ora: For me the easiest route would be to make it a separate NOTE and then make the decision to make it a REC if we want so. 16:25:29 PROPOSAL: Separate "unstar" mapping from Concepts, make it a Note (initially). 16:25:39 +1 16:25:40 +1 16:25:41 +1 16:25:42 +1 16:25:43 +1 16:25:44 +1 16:25:44 +1 16:25:45 +1 16:25:46 +1 16:25:47 +1 16:25:48 +1 16:25:50 +1 16:25:50 +1 16:25:52 +1 16:25:54 +1 16:26:11 RESOLVED: Separate "unstar" mapping from Concepts, make it a Note (initially). 16:26:25 Zakim, next item 16:26:25 agendum 2 -- vocabulary to refer to the individual nodes in a reified triple term -> 2 https://github.com/w3c/rdf-star-wg/issues/130 -- taken up [from agendabot] 16:26:28 action: pchampin to extract the "unstar" mapping from RDF-concepts 16:26:36 Created -> action #165 https://github.com/w3c/rdf-star-wg/issues/165 16:26:57 on that topic see comment https://github.com/w3c/rdf-star-wg/issues/130#issuecomment-2425965785 16:26:58 https://github.com/w3c/rdf-star-wg/issues/130 -> Issue 130 vocabulary to refer to the individual nodes in a reified triple term (by rat10) [needs discussion] 16:27:18 q+ 16:27:55 tl: The idea is one can annotate the reified triple term but one might want to annotate a given triple in a refied triple term 16:29:52 tl: I presented that in the semantic task force last year to know if we could use rdf:subject/predicate/object for that or a new vocabulary rdf:onSubject/Predicate/Object 16:31:29 tl: If the reified triple has for type rdf:Statement then this issue is null 16:31:32 q+ 16:31:33 ack pfps 16:31:35 the idea is actually extremely complex, if it has any bite, being able to reach into a triple term and attach new information to its pieces is something that is far from anything else that can be done in RDF. Of course, maybe there is no "there" there and this construct has no additional semantics then what is it for and why should the properties be in the RDF namespace. 16:32:19 ack niklasl 16:32:37 pfps: Why having properties for that in the RDF namespace, if you need to do this, use properties in your own namespace 16:33:04 q+ 16:33:15 niklasl: The problem is inheriting the notion of identity. The very informative rdf:Statement vocabulary could be used for that 16:34:46 niklasl: Hopefully some of the things you want would be explained in a note. In general I have to agree with pfps, it's not a pattern we could endorse in RDF 16:35:09 niklasl: I would prefer specific complex concepts to have dedicated vocabulary. The prov: ontology is a good example of that 16:35:13 ack ora 16:36:04 ora: For tl, do you think you can write something like a vocabulary you invent that allows to do that 16:36:20 q+ 16:36:24 ora: We can push people to design their own vocabularies for what they want to do and show it can be done 16:36:41 ack tl 16:36:47 ora: It does not need to be the worry of this WG 16:37:03 I specifically mean the prov:specializationOf property. 16:37:14 tl: I disagree with this prov: vocabulary example, provenance in not really a thing in my example 16:37:26 tl: I would be in favor of using the same vocabulary in all places 16:37:44 https://github.com/w3c/rdf-star-wg/issues/130#issuecomment-2900607775 16:37:45 https://github.com/w3c/rdf-star-wg/issues/130 -> Issue 130 vocabulary to refer to the individual nodes in a reified triple term (by rat10) [needs discussion] 16:38:18 tl: ^ an other comment, the second example there is very clear, using the standard RDF reification vocabulary 16:38:27 q+ to say that this is not referring - there is already a way to refer to the subject, predicate, and object of a triple term 16:39:10 tl: we can live it like that an talk about the triple term vocabulary and see if we actually need specific vocabularies or just reuse the plain rdf:subject/predicate/object vocabulary 16:39:11 ack pfps 16:39:11 pfps, you wanted to say that this is not referring - there is already a way to refer to the subject, predicate, and object of a triple term 16:39:16 q+ 16:39:37 Wouldn't an "avatar"-based approach work? => :r rdf:reifies <<( :Alice12 :bought :LennyPuppet )>>, <<( :Alice12 :age 12 )>>, <<( :Alice12 :avatarOf :Alice )>>, <<( :LennyPuppet rdf:type :Puppet )>> ... . 16:39:50 pfps: If the subject of the triple term is Alice, we can just refer to Alice directly 16:39:56 exactly 16:40:13 ack niklasl 16:40:18 If we can talk about Alice in the context of age 12, you can use a named graph for that (maybe problem solved?) 16:40:29 niklasl: This might be true but without semantic we don't know 16:40:44 niklasl: Yes, you can use the classical reification vocabulary for that 16:41:11 niklasl: The question you can ask yourself is "would your user accept that"? 16:41:18 q+ 16:41:19 niklasl, it would RDFS-entail that the reifier is of type `rdf:Statement`, which may not be desired... 16:41:20 +q to niklasl - what we have at the moment is a bunch of aspirations without any notion of their semantics 16:41:47 ack ora 16:41:51 q- 16:42:16 ora: If I understand it correctly, it seems it really pushes the boundaries of RDF. I would like to see how do we do this with the RDF we have 16:43:13 q+ 16:43:21 ora: I don't see the WG responding particularly positively, you can use the RDF we have right now to model that. I would see that as a favorable solution 16:43:23 ack Souri 16:43:30 q+ 16:43:40 pchampin; Yes, good point, that is an inevitable consequence. Maybe ok:ish for the users, but indeed conceptually "muddy". 16:44:04 Souri: This idea of putting of context with Alice is to introduce Alice12. 16:44:43 What Souri suggests is exactly what I suggested in https://github.com/w3c/rdf-star-wg/issues/130#issuecomment-2884322507 16:44:43 https://github.com/w3c/rdf-star-wg/issues/130 -> Issue 130 vocabulary to refer to the individual nodes in a reified triple term (by rat10) [needs discussion] 16:44:46 ora: You can introduce an ontology with the concept of avatar 16:44:48 ack tl 16:44:58 (So +1 to Souri) 16:45:04 tl: Yes, we can close it then, without much support there is no much point 16:45:42 tl: you can do everything already with the RDF we have 16:45:47 tl: we are looking for easier ways 16:46:15 q+ 16:46:32 ack niklasl 16:47:21 Zakim, next item 16:47:21 agendum 3 -- make progress on test suites to move to CR -> 3 https://github.com/w3c/rdf-star-wg/issues/164 -- taken up [from agendabot] 16:47:41 q+ 16:47:43 ack gkellogg 16:47:49 RRSAgent, draft minutes 16:47:50 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html Dominik_T 16:48:49 q+ 16:48:56 ack AndyS 16:49:06 gkellogg: There is a big MR in RDF/XML that needs multiple approvals 16:49:25 AndyS: Talking tests is a way to talk about "what do we need to move to CR" 16:49:34 q+ 16:49:36 AndyS: I would like to confirm there is nothing else to do out of the tests 16:49:41 ack pchampin 16:49:44 q+ 16:50:06 pchampin: Good point, the other important thing is the wide review, we need to coordinate with the W3C 16:50:59 ack gkellogg 16:51:05 ora: let's confirm that wide review is before CR 16:51:19 AndyS: Reformulated question: is there anything to do before wide review 16:51:36 AndyS: We have open PRs for VERSION declaration in NTriples and NQuads 16:52:01 s/AndyS: We have open/gkellogg: We have open/ 16:52:30 AndyS: Hare we aiming at having RDF concepts and NTriples/NQuads CR at the same time 16:52:51 q+ 16:52:56 AndyS: If we are aiming for concepts and semantic to go out as a pair, we need NTriples/NQuads out as well 16:52:57 ack pchampin 16:53:51 Given needing N-Triples, putting Turtle/TriG into the mix seems natural. 16:53:53 pchampin: I am in favor to have VERSION announcement in NTriples/NQuads as well 16:54:18 ora: It seems there is not much to do 16:54:32 AndyS: Can we minute this statement ^ 16:55:00 Dominik_T has joined #rdf-star 16:55:03 s/prsent+/present+/ 16:55:22 ora: There is a great deal of interest in RDF 1.2 16:55:40 ora: A question I got is "what does it means for ontology definition" 16:56:06 rrsagent, draft minutes 16:56:07 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html Dominik_T 16:56:13 agenda? 16:56:20 ora: Any last word? 16:56:28 ora: Thank you for your contributions 16:56:46 AndyS: There is a meeting tomorrow, bumpt to 14:30UTC 16:57:12 AndyS: This is a permanent move 16:57:33 RRSAgent, draft minutes 16:57:35 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html ktk 16:58:43 RRSAgent, make minutes 16:58:44 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html pchampin 16:58:49 pfps has left #rdf-star 16:59:09 m2gbot, link issues with transcript 16:59:10 comment created: https://github.com/w3c/rdf-star-wg/issues/163#issuecomment-2967587781 16:59:11 comment created: https://github.com/w3c/rdf-star-wg/issues/130#issuecomment-2967587824 16:59:12 comment created: https://github.com/w3c/rdf-star-wg/issues/164#issuecomment-2967587864 17:00:30 s/It is an non-normative/It is a non-normative/ 17:00:30 s/singnificant/significant/ 17:00:30 s/help to explain/helps to explain/ 17:00:30 s/voculary/vocabulary/ 17:00:30 s/The semantic of triple term/The semantics of triple terms/ 17:00:33 s/indistiguishable/indistinguishable/ 17:00:35 s/advices/advice/ 17:00:38 s/for me it make sense/for me it makes sense/ 17:00:41 s/then what is it for and why should/then what is it for, and why should/ 17:00:43 s/provenance in not really/provenance is not really/ 17:00:46 s/we can live it like that an talk/we can leave it like that and talk/ 17:00:48 s/an talk about/and talk about/ 17:00:51 s/there is no much point/there is not much point/ 17:00:54 s/Hare we aiming/Are we aiming/ 17:00:56 s/bumpt to 14:30UTC/bumped to 14:30UTC/ 17:00:59 RRSAgent, draft minutes 17:01:00 I have made the request to generate https://www.w3.org/2025/06/12-rdf-star-minutes.html ktk 17:01:06 pchampin: ah was I too late? 17:03:33 ah no it worked 17:18:33 gkellogg has joined #rdf-star 17:35:28 gkellogg has joined #rdf-star 17:52:29 gkellogg has joined #rdf-star 18:52:50 gkellogg has joined #rdf-star 19:09:10 gkellogg has joined #rdf-star 20:02:15 gkellogg has joined #rdf-star 21:30:57 gkellogg has joined #rdf-star 21:52:54 gkellogg has joined #rdf-star 22:00:36 gkellogg has joined #rdf-star 22:47:23 gkellogg has joined #rdf-star 23:04:49 gkellogg has joined #rdf-star 23:32:51 gkellogg has joined #rdf-star