14:06:36 RRSAgent has joined #rdf-star 14:06:40 logging to https://www.w3.org/2025/04/11-rdf-star-irc 14:06:40 Zakim has joined #rdf-star 14:06:52 agenda: https://www.w3.org/events/meetings/59c97770-65f5-4c46-9d03-86fb61ff2bbc/20250411T100000/ 14:06:53 clear agenda 14:06:53 agenda+ discussion on what properties can or should link to triple terms? -> Issue #127 https://github.com/w3c/rdf-star-wg/issues/127 14:06:54 chair: enrico 14:06:56 present+ 14:07:10 Zakim, open first item 14:07:10 I don't understand 'open first item', TallTed 14:07:26 Zakim, open agendum 1 14:07:26 agendum 1 -- discussion on what properties can or should link to triple terms? -> Issue #127 https://github.com/w3c/rdf-star-wg/issues/127 -- taken up [from agendabot] 14:07:48 present+ 14:08:14 present+ 14:08:28 present+ enrico, AndyS, Souri, tl, doerthe, pfps, gkellogg 14:09:27 I have made the request to generate https://www.w3.org/2025/04/11-rdf-star-minutes.html TallTed 14:11:00 q? 14:11:52 previous meeting: https://www.w3.org/2025/04/10-rdf-star-minutes.html 14:11:52 next meeting: https://www.w3.org/2025/04/17-rdf-star-minutes.html 14:12:04 https://w3c.github.io/rdf-concepts/spec/#section-triple-terms 14:12:14 I have made the request to generate https://www.w3.org/2025/04/11-rdf-star-minutes.html TallTed 14:13:42 meeting: RDF-star Semantics TF 14:14:00 I have made the request to generate https://www.w3.org/2025/04/11-rdf-star-minutes.html TallTed 14:14:11 q+ 14:17:00 ack tl 14:20:19 q+ 14:20:25 ack souri 14:22:17 q+ 14:23:28 q+ 14:23:51 ack enrico 14:24:01 q+ 14:25:58 ack tl 14:27:31 ack souri 14:28:01 niklasl has joined #rdf-star 14:29:42 q+ 14:30:25 q+ 14:30:39 ack enrico 14:30:43 ack souri 14:31:31 q+ 14:32:29 q+ 14:33:05 ack andys 14:33:43 q+ 14:34:04 ack tl 14:34:05 q- 14:34:20 q+ tl 14:34:31 q+ 14:35:30 ack Souri 14:35:32 ack tl 14:35:34 ack doerthe 14:36:28 :r rdf:reifies <<( :r2 rdf:reifies << :s :p :o )>> )>> . 14:37:50 :r rdf:reifies :r2 . :r2 rdf:subReifies <<( :s :p :o )>> . 14:38:25 q+ 14:39:01 ack doerthe 14:39:59 q+ 14:40:21 q+ 14:41:38 q+ 14:43:29 ack gkellogg 14:43:33 ack tl 14:44:13 q+ 14:44:33 :r1 rdf:reifies :r2 . 14:44:33 :r2 rdf:reifies :r3 . 14:44:33 :r3 rdf:reifies <<( :s . :p :o )>> 14:44:33 :r1 :a :b . 14:44:34 :r2 :x :y . 14:44:34 :r3 :ho :hum . 14:44:34 << << << :s :p :o >> :ho :hum >> :x :y >> :a :b . 14:45:02 ack enrico 14:45:08 :r rdf:reifies <<( :r2 rdf:reifies <<( :s :p :o )>> )>> . 14:45:16 :r rdf:reifies <<( :r2 rdf:reifies _:x )>> . 14:45:16 _:x owl:sameAs <<( :s :p :o )>> . 14:46:12 Counting changes in SPARQL, which may or may not matter. 14:46:19 ack souri 14:46:55 q+ 14:48:29 q+ 14:49:33 q+ 14:49:53 ack enrico 14:49:56 ack tl 14:55:14 ack souri 14:55:17 q+ 14:58:20 gkellogg has joined #rdf-star 14:58:33 annotation syntax is one level. that's easy, and will hopefully be popular. i see no reason why that should not provide enough simplicity, and still allow more complex things in other syntax 14:59:01 ack enrico 14:59:13 s/and still /and why we shouldn't still 15:00:50 Moving the burden onto the query authors - there are more query authors than other concern areas 15:04:03 Conclusion 1: we discussed about restricting (or suggesting to restrict) the usage of triple terms only as object of rdf:reifies, but we believe that their usage should be unrestricted. 15:04:24 +0 15:04:26 +1 15:04:26 +0 15:04:28 +1 15:04:36 +1 15:04:43 ±0 15:04:52 +0 15:07:18 Conclusion 2: we discussed restricting the usage of nested triple terms, by looking at approximations involving only non-nested triple terms, but we feel that this would be depending too much on the use cases. A rewriting of nested triple terms using owl:sameas would be always possible, but beyond RDF. 15:07:52 +1 15:07:55 +1 15:08:14 +0 15:08:18 +0.5 15:08:39 ±0 15:08:43 +0.1 15:08:50 +1 (but I think we should give souri the chance to further discuss his arguments) 15:09:01 +1 to doerthe 15:09:13 I propose we brig these two issues to the WG 15:09:22 s/brig/bring/ 15:09:57 I sympathize based on at least how hard it is to think about propositions of propositions of propositions. 15:11:50 I have made the request to generate https://www.w3.org/2025/04/11-rdf-star-minutes.html TallTed 15:13:35 Zakim, bye 15:13:35 leaving. As of this point the attendees have been TallTed, gkellogg, AndyS, enrico, Souri, tl, doerthe, pfps 15:13:35 Zakim has left #rdf-star 15:13:41 RRSAgent, bye 15:13:41 I see no action items