16:58:35 RRSAgent has joined #rdf-star 16:58:35 logging to https://www.w3.org/2022/11/17-rdf-star-irc 16:58:37 RRSAgent, make logs Public 16:58:38 please title this meeting ("meeting: ..."), pchampin 16:58:44 meeting: RDF-star WG 16:58:48 rubensworks has joined #rdf-star 16:58:53 gkellogg has joined #rdf-star 16:58:54 Welcome, Zakim 16:58:58 Dominik_T has joined #rdf-star 16:59:19 present+ 16:59:22 present+ 16:59:35 pchampin has changed the topic to: RDF-star WG - https://www.w3.org/groups/wg/rdf-star/calendar#card-8a09caa1-5121-4e3c-a1e5-22d7dd84bc6a 17:00:03 present+ 17:00:20 pchampin has changed the topic to: RDF-star WG - https://www.w3.org/events/meetings/8a09caa1-5121-4e3c-a1e5-22d7dd84bc6a 17:00:31 present+ 17:00:36 present+ 17:00:43 present+ 17:00:45 present+ 17:01:08 but I have trouble with zoom 17:01:55 present+ 17:02:57 olaf has joined #rdf-star 17:03:18 doerthe has joined #rdf-star 17:04:16 present+ 17:04:35 ora has joined #rdf-star 17:04:38 Enrico has joined #rdf-star 17:04:39 present+ 17:04:50 present+ 17:05:26 remiceres has joined #rdf-star 17:06:10 pchampin: you can edit by usign 17:06:17 ...s/usign/using/ 17:06:25 Souri has joined #rdf-star 17:06:30 scribe: ktk 17:07:00 zakim, who's here? 17:07:00 Present: AndyS, ktk, rubensworks, gkellogg, AZ, pchampin, Timothe, gtw, olaf, doerthe, ora 17:07:03 On IRC I see Souri, remiceres, Enrico, ora, doerthe, olaf, Dominik_T, gkellogg, rubensworks, RRSAgent, Zakim, AZ, AndyS, TallTed, Timothe, driib, gtw, pchampin, ktk, rhiaro, 17:07:03 ... csarven, agendabot 17:07:23 present+ 17:09:14 present+ 17:10:14 Zakim, make pchampin's mike work! 17:10:14 I don't understand 'make pchampin's mike work!', AZ 17:10:34 chair? 17:10:53 chair: ora 17:11:22 RRSAgent, make minutes 17:11:22 I have made the request to generate https://www.w3.org/2022/11/17-rdf-star-minutes.html pchampin 17:11:49 ora: I suggest we start to make concrete plans what has to happen for the spec to go out one of these days. As co-chair I hope this WG can conclude its business rather rapidly. 17:11:56 our charter says 2 years, anyway :) 17:12:19 q+ 17:12:26 ... not 3 years like RDF WG did. More in a year if possible. We have a lot of work ahead of us. There are big issues and many little details that need to be taken are of. 17:12:43 ... for myself the biggest thing is defining the semantics of all this. 17:12:49 ack Souri 17:13:13 Souri: I could present a few slides that I prepared. 17:13:48 ora: let's do that first and then discuss our concrete plans going forward 17:13:49 topic: Souri's presentation about "parallel edges" 17:32:08 q+ 17:32:25 Souri: Presents why RDFn should support explicit naming. He shows examples for representation & query in RDF-Star and RDFn 17:33:01 q+ 17:34:20 q+ 17:34:54 Previous related comment -- "grouping relation properties" : Tim Finin : June2020: https://lists.w3.org/Archives/Public/public-rdf-star/2020Jun/0006.html 17:34:55 ack Enrico 17:36:37 Enrico: General comments: There is a major missunderstanding, we cannot have two parallel edges to the same label. It would be different instances. The fact that they have the same name is just a modeling problem. 17:37:05 q+ 17:37:37 ... I don't fully understand what this reification is about. Is this about "these facts are true" or "I want to say that these facts represent an event in the real world and this event has properties. 17:38:38 ack olaf 17:38:41 q+ 17:38:53 ... I don't have the history, that's why I ask. 17:39:01 q+ 17:39:34 q+ 17:39:37 Souri: Property graph is supporting it and we need interoperabiliity between RDF and PGs. 17:40:15 In property graphs edges are *instances* of the edge type, therefore have differnet labels 17:42:53 ... The popularity of PGs is a confirmation to why this is useful. 17:43:21 ... From a practical POV it is important that we can present something that is simple enough to the consumer so it is accepted. 17:43:58 olaf: The one issue I have is that you show us user-facing syntax. This is not really RDF-Star. It has an abstract syntax 17:44:22 ... I think this was a mistake in the CWG. We had discussions about user-facing issues. We should more often also focus on the abtract syntax. 17:44:39 ... My question for the user-facing syntax would be what is the corresponding abstract syntax. 17:44:41 q+ 17:45:28 Sure, your can interperate with PGs with RDF-* is you enforce to have different labels for properties (e.g., knows1, knows2) even when they are subproperties of the same property (eg., knows): knows1 subpropety knows. knows2 subproperty knows. 17:45:39 is --> if 17:45:44 Souri: From a semantics POV (syntax might be slightly different) it is important to say that we can have multiple triples (or quads) that are identical S-P-O but they have their own existance. The implementation needs to support that semantics. 17:46:03 ... they have distinct names and we need to be able to address them separately. That's the whole idea. 17:46:22 point of order: as much as I enjoy this discussion, we have 10 minutes left, and we need to settle on a recurring slot for the next meetings 17:46:28 ... we can talk about the abstract syntax, I'm not very familiar with it. 17:46:42 ... I can have a look at it and propose what would need to change. 17:47:06 ... If I say S-P-O it points to the same object all the time. That makes it hard to support what I propse. 17:47:51 ... I really learned this from Jesus Barasa. He gave a presentation in 2017 where he said there are two problems between RDF and PGs. RDF cannot do edge properties and RDF cannot do multi-edges. 17:48:08 ... I saw RDF-Star does the first but not the second. If we want interoperability we need that. 17:48:42 with reification you can have properties of edges. But edges shoild be uniquely identified.\ 17:48:58 So RDF-star is enough! 17:49:26 ... The RDF-Star proposes adds an explicit thing but do we need that? From that POV I tried to come up with what I present with RDFn. I really want to subsume PGs, that noone can say you cannot do that in RDF. 17:49:30 (one issue could stem from opacity of reification) 17:49:46 ack ora 17:49:49 ... Keep it as seamless as possible, that's my motivation. I will go more into the abstract part and see what it means. 17:50:56 ora: I'm not fully convinced that this is a question of naming. Currently S-P-O is unique. My worry here is that if we touch that, how far do the ramifications go if we say RDF-Star is not a set of triples. How much of the world actually breaks if we would do that. 17:51:05 q+ 17:51:09 ... That's what I think we should really pay attention to. 17:51:15 ack doerthe 17:51:44 q- 17:51:51 doerthe: For me it feels that you mix syntax and semantics in some way. A triple will always be a triple, how can it have different meanings. Would every triple come with a name or how do you see that. 17:52:06 ack Souri 17:52:33 Souri: The uniqueness is with S-P-O-n. It's like twins, S-P-O is the same but they are not unique. there is n1 and n2. 17:52:53 ... If you do not use explicit naming the uniquenes stays the same, S-P-O based. 17:53:10 ... If you need parallel edges, you need the n. And this is the uniquenes. 17:54:16 ack Enrico 17:54:18 ... We have to have a way to represent that work in RDF. PGs do that today. S-P-O-null & S-P-O-null would be the same. n is needed if this is not enough. 17:54:29 q? 17:55:28 q+ 17:55:58 Enrico: I think this is a non-issue. The proper name is to give unique names to the edges. I'm in the standartisation group for PGs as well. The way they do it there is exactly like this. It's the same label but there is a second instantiation in the system. 17:58:53 ack ora 18:00:17 olaf has left #rdf-star 18:00:35 RRSAgent, make minutes 18:00:35 I have made the request to generate https://www.w3.org/2022/11/17-rdf-star-minutes.html pchampin 18:01:06 Ora: we need to understand how much leeway we have before RDF semantics breaks that we cannot accept. If we break RDF sematnics in some bad way we will never be done and it will be detrimential to RDF-Star. Let's continue the discussion per email. 18:01:28 previous meeting: https://www.w3.org/2022/11/10-rdf-star-minutes.html 18:01:34 next meeting: https://www.w3.org/2022/11/24-rdf-star-minutes.html 18:01:43 RRSAgent, make minutes 18:01:43 I have made the request to generate https://www.w3.org/2022/11/17-rdf-star-minutes.html pchampin 18:11:10 gkellogg has joined #rdf-star 18:16:27 gkellogg has joined #rdf-star 18:18:30 gkellogg_ has joined #rdf-star 18:19:28 gkellogg has joined #rdf-star 18:30:22 gkellogg has joined #rdf-star 18:42:59 pchampin -- note that your previous/next meeting entries are not in the minutes... 18:45:22 gkellogg has joined #rdf-star 19:00:59 gkellogg has joined #rdf-star 19:18:41 gkellogg has joined #rdf-star 19:35:36 gkellogg has joined #rdf-star 19:52:39 gkellogg has joined #rdf-star 20:00:48 Zakim has left #rdf-star 20:07:17 gkellogg has joined #rdf-star 20:08:53 gkellogg has joined #rdf-star 20:14:24 gkellogg has joined #rdf-star 20:30:23 gkellogg has joined #rdf-star 20:45:23 gkellogg has joined #rdf-star 20:58:44 gkellogg has joined #rdf-star