14:27:52 <RRSAgent> RRSAgent has joined #rdf-star
14:27:56 <RRSAgent> logging to https://www.w3.org/2025/06/20-rdf-star-irc
14:27:58 <Zakim> Zakim has joined #rdf-star
14:28:10 <RRSAgent> I have made the request to generate https://www.w3.org/2025/06/20-rdf-star-minutes.html TallTed
14:28:14 <TallTed> RRSAgent, make logs public
14:28:52 <AndyS> AndyS has joined #rdf-star
14:29:08 <TallTed> meeting: RDF & SPARQL WG, SPARQL Task Force
14:29:08 <TallTed> previous meeting: https://www.w3.org/2025/06/19-rdf-star-minutes.html
14:29:08 <TallTed> next meeting: https://www.w3.org/2025/06/26-rdf-star-minutes.html
14:29:30 <TallTed> agenda: https://www.w3.org/events/meetings/ffcebe59-f304-495a-bb7d-3a9c2c4dd5f7/20250620T143000/
14:29:31 <agendabot> clear agenda
14:29:31 <agendabot> agenda+ Scribe?
14:29:31 <agendabot> agenda+ Discussion on subqueries
14:29:31 <agendabot> agenda+ Topic for next time
14:29:52 <RRSAgent> I have made the request to generate https://www.w3.org/2025/06/20-rdf-star-minutes.html TallTed
14:30:30 <pfps> pfps has joined #rdf-star
14:30:31 <james> james has joined #rdf-star
14:31:04 <james> i just received a phone call, that my apartment is flooded. it will take a few minutes
14:32:02 <AndyS> Thank you Ted!
14:32:06 <AndyS> present+
14:32:07 <TallTed> present+
14:32:14 <gtw> present+
14:32:15 <TallTed> chair: AndyS
14:33:11 <AndyS> regrets+ hartig
14:33:30 <AndyS> regrets+ tpt
14:33:50 <TallTed> present+ pfps
14:34:06 <RRSAgent> I have made the request to generate https://www.w3.org/2025/06/20-rdf-star-minutes.html TallTed
14:36:58 <AndyS> https://gist.github.com/afs/fce27e4bbdf96607902831db40c05aab
14:37:03 <TallTed> scribe: ad-hoc
14:37:08 <AndyS> SQL correlation example
14:39:40 <TallTed> s/SQL correlation example//
14:39:40 <TallTed> s|https://gist.github.com/afs/fce27e4bbdf96607902831db40c05aab|SQL correlation example -> https://gist.github.com/afs/fce27e4bbdf96607902831db40c05aab |
14:39:51 <RRSAgent> I have made the request to generate https://www.w3.org/2025/06/20-rdf-star-minutes.html TallTed
14:40:19 <james> present+
14:40:22 <AndyS> https://github.com/w3c/sparql-query/issues/156#issuecomment-2991640816
14:40:23 <gb> https://github.com/w3c/sparql-query/issues/156 -> Issue 156 Addressing SPARQL EXISTS errata (by afs) [ErratumRaised]
14:40:31 <AndyS> pfps examples (from today)
14:46:21 <AndyS> This one -- FILTER EXISTS { FILTER ( ?z = 7 ) } -- is section 8.3.3 in the spec - and is one.
14:47:17 <AndyS> https://www.sparql.org/sparql.html
14:49:31 <AndyS> EXISTS { SELECT ?k WHERE { SELECT ?z1 WHERE { FILTER ( ?z1 = 7 ) } }
14:53:12 <pfps> Here is the problem: substitute(pattern, μ) = the pattern formed by replacing every occurrence of a variable v in pattern by μ(v) for each v in dom(μ)
14:53:27 <pfps> There is no v there
14:53:48 <pfps> sorry, no problem
14:55:46 <gtw> still a problem. just garbled noise.
14:55:57 <pfps> I spoke again, but I guess you didn't hear me.  I don't know what the problem is.
14:58:42 <pfps> it seems like there are multiple problems
15:00:37 <pfps> I'm goint to reconnect
15:01:53 <pfps> I have audio now
15:05:01 <AndyS> https://www.w3.org/TR/sparql12-query/#variableScope
15:06:03 <gkellogg> gkellogg has joined #rdf-star
15:10:09 <james> wrt #variableScope, the concern is the consequence of those rules for "substitution", rather than in general. while the simplest model would be that the "same" rules apply, that may be hard to understand.
15:18:40 <AndyS> https://github.com/w3c/rdf-star-wg/wiki/SPARQL-Task-Force
15:22:24 <gkellogg> gkellogg has joined #rdf-star
15:22:25 <AndyS> FILTER EXISTS { SELECT ?z WHERE { FILTER ( ?z = 7 ) } }
15:23:15 <james> the third in th elist ins
15:23:16 <james> PREFIX ex: <https://example.com/>
15:23:16 <james> SELECT ?x ?y ?z WHERE {
15:23:16 <james>   VALUES (?x ?y ?z) { ( ex:a ex:b 7 ) }
15:23:16 <james>   { SELECT ?z WHERE { FILTER ( ?z = 7 ) } }
15:23:17 <james> }
15:24:41 <AndyS>  VALUES ... FILTER EXISTS { FILTER ( ?z = 7 ) } and VALUES ...join... { FILTER ( ?z = 7 ) }
15:25:14 <pfps> Similarly   { FILTER ( ?z = 7 ) }  versus   FILTER EXISTS { { FILTER ( ?z = 7 ) } }
15:25:24 <AndyS> VALUES ...join... { FILTER ( ?z = 7 ) } and VALUES ...FILTER ( ?z = 7 ) are different anyway
15:29:16 <RRSAgent> I have made the request to generate https://www.w3.org/2025/06/20-rdf-star-minutes.html TallTed
15:30:46 <AndyS> zakim, end meeting
15:30:46 <Zakim> As of this point the attendees have been AndyS, TallTed, gtw, pfps, james
15:30:48 <Zakim> RRSAgent, please draft minutes
15:30:50 <RRSAgent> I have made the request to generate https://www.w3.org/2025/06/20-rdf-star-minutes.html Zakim
15:30:55 <Zakim> I am happy to have been of service, AndyS; please remember to excuse RRSAgent.  Goodbye
15:30:56 <Zakim> Zakim has left #rdf-star
15:31:07 <RRSAgent> I see no action items