00:45:26 gkellogg has joined #rdf-star 01:05:01 gkellogg has joined #rdf-star 10:00:01 driib5 has joined #rdf-star 10:26:18 timbl has joined #rdf-star 11:24:04 gkellogg has joined #rdf-star 12:46:21 gkellogg has joined #rdf-star 13:55:20 AndyS has joined #rdf-star 13:56:46 pfps has joined #rdf-star 13:56:55 present+ 14:00:52 gkellogg has joined #rdf-star 14:00:57 tl has joined #rdf-star 14:04:15 niklasl has joined #rdf-star 14:04:43 enrico has joined #rdf-star 14:04:48 present+ 14:05:35 present+ 14:05:41 Souri has joined #rdf-star 14:05:45 present+ 14:05:45 present+ 14:05:49 scribe? 14:05:59 present+ 14:06:07 and new people intros? 14:06:23 zakim, who is here? 14:06:23 Present: TallTed, enrico, gkellogg, niklasl, pfps, ktk, tl, olaf, gtw, ora, eBremer, AndyS, Souri, Tpt 14:06:26 On IRC I see Souri, enrico, niklasl, tl, gkellogg, pfps, AndyS, timbl, driib5, RRSAgent, Zakim, csarven, gtw, agendabot, gb, Tpt, rhiaro, pchampin, ktk 14:06:43 Bilalox has joined #rdf-star 14:06:58 q+ 14:07:42 rrsagent, make minutes 14:07:43 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html gkellogg 14:07:56 present+ 14:08:05 rrsagent, make logs public 14:08:12 present+ 14:08:21 RRSAgent, bye 14:08:21 I see no action items 14:08:45 RRSAgent has joined #rdf-star 14:08:45 logging to https://www.w3.org/2024/10/18-rdf-star-irc 14:08:47 RRSAgent, make logs Public 14:08:48 please title this meeting ("meeting: ..."), pchampin 14:08:52 meeting: RDF-star Task Force meeting 14:09:02 present+ 14:09:06 present+ 14:09:06 zakim, who is here? 14:09:06 Present: niklasl, AndyS, pchampin 14:09:06 preent+ 14:09:07 On IRC I see RRSAgent, Zakim, JeffreyFreeman, Bilalox, Souri, enrico, niklasl, tl, gkellogg, pfps, AndyS, timbl, driib5, csarven, gtw, agendabot, gb, Tpt, rhiaro, pchampin, ktk 14:09:22 present+ 14:09:30 q+ 14:09:32 s/preent+// 14:09:40 q+ 14:09:59 rrsagent, make minutes 14:10:01 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html gkellogg 14:10:38 present+ Jeffrey_Phillips_Freeman,Bilal_Ben_Mahria,Hamza_Khyari 14:11:22 Zakim, who is here? 14:11:22 Present: niklasl, AndyS, pchampin, gkellogg, Jeffrey_Phillips_Freeman, Bilal_Ben_Mahria, Hamza_Khyari 14:11:24 On IRC I see RRSAgent, Zakim, JeffreyFreeman, Bilalox, Souri, enrico, niklasl, tl, gkellogg, pfps, AndyS, timbl, driib5, csarven, gtw, agendabot, gb, Tpt, rhiaro, pchampin, ktk 14:11:30 q? 14:11:30 q+ 14:12:14 q+ 14:14:16 ack pchampin 14:14:25 present+ 14:14:52 q+ 14:16:22 RRSAgent, make minutes 14:16:23 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html pchampin 14:16:35 topic: the unstar mapping 14:16:35 ack andys 14:16:53 enrico: [thoughts on the semantic implications of the unstar mapping] 14:17:08 pchampin: we need to be clear about the purpose of the unstar mapping 14:18:12 Topic: Introductions 14:18:40 JeffreyFreeman: we (CleverThis) are a new W3C member, and are mostly here to listen, excited about RDF-star 14:18:52 ... We are an Open-Source AI based company 14:19:35 ... Interested about the ethics around AI, planning to launch a non-profit on that topic 14:19:37 ack tl 14:20:44 Hanza: I'm a junior ontologist, with CleverThis. Trying to lear what you guys are doing. 14:21:49 present+ 14:22:32 Bilal: I was there in yesterday's meeting, I introduced myself there. 14:22:44 ... Based in Morocco. Lead ontologist at CleverThis. 14:23:01 ... Interesting in modeling vocabularies and solving modeling issues with RDF-star. 14:23:20 Topiic: The unstar mapping 14:23:33 s/Topiic:/Topic:/ 14:23:47 tl: I think the unstar mapping is a low hanging fruit, we should do it 14:24:22 ... I don't know if we want to unstar the abstract triple terms, but this would need a new vocabulary. 14:24:40 ... I did not understand the problems enrico pointed out. 14:25:40 ... Reifiers are similar to standard reification, modulo the many-to-many relation. 14:26:06 ... I think the use-case is very much aligned with what LPGs do. 14:26:54 niklasl: to answer enrico's questions, about my needs. 14:27:12 ... We are using an OWL toolchain. For this, unstar would be sufficient. 14:27:58 hamza has joined #rdf-star 14:28:59 ... We want the OWL that we already have to preserve atomicity (?) 14:29:33 ... It might be frugal to reuse the reification vocabulary, but I see more and more arguments against that. 14:29:57 ... I'm fine with new terms if that's deemed clear. 14:30:29 ack niklasl 14:30:32 ... Using OWL, one could entail standard reification from a specific typed reifier. That's fine from my point of view. 14:30:57 enrico: to pchampin, I believe that unstar is not only syntactic. 14:31:15 :a rdf:reifies <<(:b :c :d)>>. 14:31:15 ... from a semantics point of view, you have to prove the correctness of the unstar, prove that you get the same result. 14:31:26 COMPILES TO (only in simple RDF): 14:31:37 ... If we have a reification statement (see above), this compiles to (see below) 14:31:42 :a rdf:reifies _:t. 14:31:42 _:t rdf*:subject :b. 14:31:42 _:t rdf*:predicate :c. 14:31:42 _:t rdf*:object :d. 14:31:51 niklasl has joined #rdf-star 14:31:57 [with some proviso] 14:32:26 ... there is some proviso. You must map all equal triple terms to the same bnode. 14:32:50 ... This is not only a syntactic check, because triple terms using semantically equal terms are also equal. 14:32:53 ∀t1,t2,x,y,z. ((t1 rdf*:subject x) ⋀ (t1 rdf*:predicate y) ⋀ (t1 rdf*:object z) ⋀ (t2 rdf*:subject x) ⋀ (t2 rdf*:predicate y) ⋀ (t2 rdf*:object z)) → (t1 owl:sameas t2) 14:33:10 ... The implication above should always hold. 14:33:12 TallTed has joined #rdf-star 14:33:56 q+ 14:34:05 hamza has joined #rdf-star 14:34:28 rrsagent, publish minutes 14:34:30 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html AndyS 14:34:36 ... This implication makes things complicated. 14:34:54 ... I expect all languages on top of RDF 1.2, esp. OWL, to enforce this. 14:35:30 ... If we stick to simple RDF, that's fine. 14:35:58 ... If would not suggest to reuse the old reification vocabulary, because people have their own expectations about it. 14:36:00 RRSAgent, pointer? 14:36:00 See https://www.w3.org/2024/10/18-rdf-star-irc#T14-36-00 14:36:46 present+ 14:37:00 ... I think that the unstar mapping can be used for canonicalization. 14:37:00 ack enrico 14:37:16 q+ to ask if enricos "∀t1,t2,x,y,z. (...." etc formula refers to abstract triple terms 14:37:38 i|present+ Jeffrey_Phillips_Freeman,Bilal_Ben_Mahria,Hamza_Khyari|agenda: https://www.w3.org/events/meetings/6d0cd306-0be8-4267-865a-6272cc8d9da4/20241018T100000/| 14:38:33 pchampin: what do you mean by "being the same" for the graph and the unstared graph? 14:38:45 ack pchampin 14:39:00 enrico: I meant that an implementation using the unstarred graph does the same thing as an implementation using the original graph 14:39:21 previous meeting: https://www.w3.org/2024/10/17-rdf-star-minutes.html 14:39:21 next meeting: https://www.w3.org/2024/10/24-rdf-star-minutes.html 14:39:37 RRSAgent, draft minutes 14:39:38 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html TallTed 14:39:45 tl: the first example you gave above, do you mean to map an occurrence? 14:40:07 q+ 14:40:12 ... Why do you think it would be dangerous to reuse the old reification vocabulary? 14:40:28 enrico: because the original graph could use this vocabulary, this would mess things up. 14:41:01 ack tl 14:41:01 tl, you wanted to ask if enricos "∀t1,t2,x,y,z. (...." etc formula refers to abstract triple terms 14:42:48 enrico: by occurrence, do you mean reifier? 14:42:50 tl: yes 14:43:07 enrico: so in my example, the reifier does not play any special role in the unstar mapping. 14:43:13 ack niklasl 14:43:37 niklasl: if I get this correctly, this is great from my point of view 14:44:12 ... given the constraints you add to these properties (the implication above) it is obvious that we should not reuse the old reification vocabulary. 14:44:16 q+ 14:44:24 ack pchampin 14:45:39 q+ 14:45:46 q+ 14:45:55 pfps has joined #rdf-star 14:46:05 present+ 14:46:20 ack niklasl 14:46:21 pchampin: the unstar mapping would never produce duplicate bnode for the same triple, right? 14:46:30 s/unstared/unstarred/ 14:46:34 ... the problem would only occur when people merge two unstarred graphs 14:46:53 enrico: yes, but I don't even think that's a problem. People will merge RDF 1.2 graphs, not unstarred graphs. 14:47:00 pchampin: not sure I agree with that. 14:48:00 ack tallted 14:48:11 niklasl: you could avoid the problem with some kind of skolemization, I think 14:48:49 q+ 14:48:50 ... but this could have its own problem, including with canonicalization 14:48:57 ack tl 14:48:57 :r rdf:reifies <<( :Alice :buys :Car )>> ; 14:48:57 rdfstar:subject [ :age 18n ] . 14:49:20 TallTed: note that the "rdf*" is probably not a valid prefix, so we should aboid using it 14:49:28 q+ 14:49:39 tl: what would happen with the triples above? 14:50:00 :r rdf:reifies <<( :Alice :buys :Car )>> ; 14:50:00 rdf:subject [ :age 18n ] . 14:50:02 enrico: I would not allow people to use the "unstar vocabulary" directly. This should be reserved to the compiler. 14:50:02 Yes. 14:50:18 https://www.w3.org/TR/rdf12-turtle/#grammar-production-PrefixedName 14:50:22 ack niklasl 14:50:50 tl: what about using rdf:subject (see above) then? Or do we need another vocabulary? 14:51:22 niklasl: I don't think that we need another one, nor that we want to model that kind of thing... 14:51:44 ... This is bad modelling in my point of view. 14:52:04 tl: it is qualifying Alice in that relation 14:52:08 q+ 14:52:35 niklasl: I see that, but I'm pretty sure that rdf:subject would not convey that meaning. 14:52:55 tl: could we define a vocabulary to do that? 14:53:00 :a rdf:reifies <<( _:b :p :o )>> . _:b :age 18 ; 14:53:08 niklasl: I would not do it in the RDF vocabulary. 14:53:24 tl: I think it is in our charter to do that. 14:53:35 ack pchampin 14:53:51 Would having an Alice avatar work? ==> :Alice18 :age 18 . :r rdf:reifies <<( :Alice18 :buys :Car )>> . 14:54:20 @souri that would work, but its much more complicated 14:54:54 q+ 14:55:03 ack andys 14:55:13 enrico: if we define an unstar mapping, we need to raise all these issues. 14:55:40 AndyS: our first decision would be whether to define it at all. 14:55:52 at times I used rdfx:onSubject/onPreicate/onObject in examples. maybe that's clearer 14:56:13 ... We could decide not to do anything, that would be a WG decision. 14:56:37 enrico: it seems to me that if we do it this way ("compilation") it would work for c14n. 14:56:44 +1 enrico 14:57:18 +1 14:57:22 q+ 14:57:32 ack pchampin 14:57:55 q+ 14:58:05 q+ 14:58:08 q+ 15:00:19 ack gkellog 15:00:21 q+ 15:00:30 And keep them well-formed, ideally have a key on the spo, etc. 15:00:34 pchampin: I think that beyond c14n, we can provide guidance for people to implement RDF 1.2 full without implementing triple terms 15:01:06 ... we should warn them about the issue with merge, but I don't think that we have to do more 15:01:16 gkellogg: I agree with pchampin 15:01:38 ... it does not really matter who defines that mapping, but we don't different mappings to be define; 15:01:50 ... that's what makes our group the right place to do it. 15:02:00 +1 to gkellogg on it needs to be defined, and on "unstarring" a query too 15:02:00 ... Unstar for SPARQL queries is also important. 15:02:18 ack tl 15:02:41 tl: it is such a low hanging fruit that people will do it. 15:03:04 ... By defining it for them, we can spare them the mistakes they are likeky to do. 15:03:18 ack andys 15:03:51 +1 to AndyS 15:03:56 ... Also to help people use RDF 1.2 graphs on legacy RDF 1.1 implementations. 15:04:20 AndyS: I also think we should do it, and we should also compile base direction (using the JSON-LD approach). 15:04:32 q+ 15:04:37 q- 15:04:39 (only *almost*, if the results contained triples encoded in IRI:s ;P ) 15:05:00 ack pchampin 15:05:12 ... More complicated for SPARQL, hard to convert back to RDF 1.2. 15:06:12 s/onPreicate/onPredicate 15:07:09 pchampin: unstarring to RDF 1.1 makes sense for the purpose of reusing legacy implementations 15:08:01 i|unstarring|... select result containing triple terms need to be expanded back 15:08:18 q? 15:08:34 reification vocabulary proposal: rdf:termSubject/termPredicate/termObject 15:08:58 q+ 15:09:37 Or rdf:tripleSubject , ... tl? (IRIs, bnodes and literals are terms too). 15:10:19 @niklas not sure... 15:10:27 pchampin: my other point was about unstarring to graph-only implementations (this was raised during TPAC) 15:10:27 RRSAgent, draft minutes 15:10:29 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html TallTed 15:10:40 ack andys 15:10:41 ... With the current proposal, a graph unstars to a graph, and a dataset unstars to a dataset. 15:10:45 ... I can live with that. 15:11:24 AndyS: lets not make our life too hard by solving problems that do not exist. 15:11:58 +1 to AndyS 15:12:03 q+ 15:12:11 q+ 15:12:20 ... I see traction for the dataset-based unstar, but it creates a risk of graph-name clash 15:12:26 ... mapping graphs to graphs is more natural 15:12:55 https://github.com/w3c/rdf-star-wg/issues/114 15:12:55 https://github.com/w3c/rdf-star-wg/issues/114 -> Issue 114 Un-star operation to support RDF Dataset Canonicalization? (by niklasl) [needs discussion] [discuss-f2f] 15:12:57 i|present+ Jeffrey_Phillips_Freeman|scribe: pchampin 15:12:57 i|present+ Jeffrey_Phillips_Freeman|chair: enrico 15:13:42 RRSAgent, draft minutes 15:13:43 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html TallTed 15:15:16 q+ 15:15:23 pchampin: the name-class risk of my previous approach (see github issue above) was rather low ; 15:15:29 (yes, I think something like rdfx:onSubject/onPredicate/onObject would be clearer and much less likely to be confused with rdf:Subject, etc.) 15:15:41 ... here, people must refrain from using the rdf-star:subject / predicate / objects anywhere in their graph 15:15:57 ... in practice not a big problem, but we need to carefully consider this trade-off 15:16:53 enrico: [question to niklasl] 15:17:01 enrico has joined #rdf-star 15:17:05 present+ 15:17:16 niklasl: there is a connection between how unstar is defined and entailment regimes 15:17:56 ... I would like to be able to use the same OWL axioms with RDF 1.2 or unstarred RDF 1.1 15:18:07 for me this is a much harder task! 15:18:57 enrico: I call it a compilation, because this is one-way. We don't need to care about the unicity constraint. 15:19:08 niklasl re: "Or rdf:tripleSubject , ... tl? (IRIs, bnodes and literals are terms too)." i agree (now, after a little thinking) 15:19:09 ... In OWL, the unicity constraints becomes explicit. 15:19:34 q? 15:19:39 niklasl: I'm happy with using OWL as is. I don't want to start a new OWL WG. 15:19:41 ack pchampin 15:19:44 ack enrico 15:19:44 q- 15:20:32 tl: on the github issue above, there was a discussion on focusing on the reifiers rather than on the individual triple terms. 15:20:47 ... I would prefer to go that way instead of mimicing the triple-terms. 15:21:10 q+ 15:21:14 ack tl 15:21:15 ... We got further from the many-to-many design. We have an opportunity to go closer to named graphs. 15:21:31 enrico: I see this development towards graph as appealing, but very dangerous. 15:21:49 q+ 15:21:56 I agree with tl that you *can* use the identifier of a reifier as a name for the graphs. Just because there is nothing preventing that. I'm not saying it's necessarily a good idea. It depends. 15:21:59 ... You would have named graphs violating the basic principles of graphs, namely the scope of bnodes. 15:22:04 ack enrico 15:22:26 tl: the rdf:reifies property would define the semantics of how I refer to this graph. 15:22:58 ... It would define a precise semantics, but only when refering to the graph via rdf:reifies. 15:23:09 +1 to niklasl 15:23:58 ack pchampin 15:25:40 pchampin: syntactically, named graphs in a dataset are allowed to share bnodes. 15:26:38 ... semantically, of course, it is undefined whether those "same" bnodes quantified together or separatedly 15:27:41 Divide by PI to get some idea of how much actual time we have to do the work? :P 15:28:08 AndyS: we need to prioritize, we have a tight schedule, even with the rechartering 15:28:34 gkellogg: I think the unstarring could be left to the maintenance mode 15:28:35 tl has joined #rdf-star 15:28:54 ... I think it should be normative, but this does not impact the rest of the spec. 15:30:00 IMO, we need to prioritize picking one of these: 1) rdf:reifies only, vs. 2) rdf:reifies + rdf:Reification property class, vs. 3) rdf:reifies + rdfs:states 15:30:26 pchampin: yes, even normative, it could be added as a "new feature" (class 4 change) as we made the decision to allow them, in the spec 15:30:39 ... good point gkellogg, this could be defer after we publish the REC 15:30:47 AndyS: I would rather have it as a separate document 15:32:30 tl: are we talking about postponing the unstar mapping? 15:32:54 q? 15:32:54 q+ 15:33:02 s/the unstar mapping/the graph-based unstar mapping 15:33:03 gkellogg: we need to prioritize work items, to decide what needs to be done before going to REC, and what can be addressed during maintenance 15:33:18 ... I think this one can fall in the 2nd category 15:34:16 niklasl: I think those additional term be added in the RDF vocabulary 15:34:51 ... this could be done in the coming months, even without publishing the unstar algorithm now. 15:35:09 AndyS: we could start a wiki page with the terms we are considering adding. 15:35:21 ... Coming up with text for their description is going to take some work. 15:35:23 q+ 15:35:35 q+ to say that picking one of these should be a prioritized: 1) rdf:reifies only, vs. 2) rdf:reifies + rdf:Reification property class, vs. 3) rdf:reifies + rdfs:states 15:35:41 ack niklasl 15:36:05 ack pchampin 15:37:18 Souri has joined #rdf-star 15:37:22 present+ 15:37:25 ack souri 15:37:25 Souri, you wanted to say that picking one of these should be a prioritized: 1) rdf:reifies only, vs. 2) rdf:reifies + rdf:Reification property class, vs. 3) rdf:reifies + 15:37:28 ... rdfs:states 15:37:28 pchampin: discussing the vocabulary is too coupled to discussing the algorithm in my view. 15:38:32 Souri: we need to make a critical decision about whether we are going to use rdf:reifies only, or rdf:reifies + other reification properties, or rdf:reifies + rdfs:stats. 15:38:42 ... This should be a priority item. 15:38:54 enrico: yes, this was the other topic for today :) 15:38:58 s/other reification/rdf:reificationProperty/ 15:39:02 RRSAgent, make minutes 15:39:03 I have made the request to generate https://www.w3.org/2024/10/18-rdf-star-minutes.html pchampin 15:39:58 RRSAgent, bye 15:39:58 I see no action items