14:34:44 <RRSAgent> RRSAgent has joined #rdf-star
14:34:49 <RRSAgent> logging to https://www.w3.org/2025/08/15-rdf-star-irc
14:34:54 <AndyS> rrsagent, make logs public
14:35:03 <AndyS> rrsagent, draft minutes
14:35:04 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html AndyS
14:35:28 <AndyS> present+
14:35:28 <lisp> ? are those previous/next links intentional or unavoidable?
14:36:48 <AndyS> zakim, open item 1
14:36:48 <Zakim> agendum 1 -- Scribe? -- taken up [from agendabot]
14:37:44 <lisp> q+
14:37:47 <AndyS> agenda?
14:40:24 <pfps> AndyS: next time look at all SPARQL PRs (item 4)
14:40:29 <AndyS> zakim, close item 1
14:40:29 <Zakim> I see a speaker queue remaining and respectfully decline to close this agendum, AndyS
14:40:32 <olaf> q+
14:40:32 <AndyS> q?
14:40:51 <AndyS> ack lisp
14:40:59 <AndyS> ack olaf
14:41:10 <pfps> James:  previous meeting dates are strange
14:41:41 <AndyS> zakim, open item 2
14:41:41 <Zakim> agendum 2 -- -> External comment https://github.com/w3c/sparql-query/issues/251 -- taken up [from agendabot]
14:42:01 <pfps> AndyS: that appears to be a feature of the WG - all WG-related meetings are linearly ordered
14:43:05 <pfps> Andys: one solution is semi-join, one injects bindings
14:43:47 <pfps> pfps: there is the other part of Boris's message about confusion between syntax and algebra
14:43:57 <pfps> AndyS: olaf responded to that
14:45:55 <pfps> pfps: when there is a new version we will respond to Boris
14:46:04 <pfps> AndyS:  sounds right
14:46:09 <AndyS> zakim, next item
14:46:09 <Zakim> agendum 1 -- Scribe? -- taken up [from agendabot]
14:46:22 <AndyS> zakim, close item 1
14:46:22 <Zakim> agendum 1, Scribe?, closed
14:46:23 <Zakim> I see 2 items remaining on the agenda; the next one is
14:46:23 <Zakim> 3. Outline for changes for PR. [from agendabot]
14:46:34 <AndyS> zakim, next item
14:46:34 <Zakim> agendum 3 -- Outline for changes for PR. -- taken up [from agendabot]
14:48:15 <pfps> AndyS: I did some work on the PR
14:48:29 <pfps> AndyS: the flow is better, but there is more work to be done
14:49:43 <pfps> AndyS: [description of some of the changes]
14:50:04 <pfps> Olaf: I'm not sure whether it is necessary to make these changes
14:50:07 <olaf> https://gist.github.com/hartig/6118722a684496231597c6fe7f5ef8c8
14:51:23 <pfps> Olaf: [the above link is my solution]
14:52:14 <pfps> Olaf: [description of definitions in solution]
14:55:53 <TallTed> present+
14:56:35 <pfps> Olaf: [basic idea is to insert a values clause at the beginning of EXISTS pattern]
14:58:30 <lisp> q+
14:59:19 <pfps> pfps: what about injecting a blank node
14:59:27 <pfps> Olaf: yes, a problem
15:00:16 <pfps> AndyS: when is the string created
15:01:22 <pfps> Olaf: for each solution mapping in the simple version, but my advanced version uses a method where only one translation is needed
15:02:07 <pfps> Olaf: here the current solution mapping is joined to the pattern
15:05:17 <pfps> AndyS: filters in the EXISTS pattern don't have access to injected variables
15:05:59 <pfps> AndyS: instead of modifying the pattern you can modify every BGP in the pattern
15:06:36 <pfps> pfps: there are three options - like MINUS, like OPTIONAL, deep injection
15:12:05 <pfps> AndyS: this is all semijoin, i.e., like MINUS
15:12:49 <pfps> Olaf: what about subselects?
15:13:05 <pfps> AndyS:  look at UNION, with a FILTER in one side
15:13:42 <pfps> AndyS: to get the solution mapping into there you need to inject (into BGPs)
15:14:14 <pfps> AndyS: variables that are projected out in sub-SELECT are another issue
15:14:19 <lisp> q+
15:14:47 <pfps> Andys: you can either affect them or not - one method is to rename them
15:15:11 <AndyS> ack lisp
15:15:34 <pfps> james: the solution is a strict consraint on the scope of injection
15:16:14 <pfps> james: andy's solution injects the solution mapping in more places
15:17:06 <pfps> james: my concern about correlation (injection) is having to re-evaluate for every solution mappiong
15:17:12 <pfps> s/mappiong/mapping/
15:18:15 <pfps> AndyS: the interior patterns are simple, usually
15:20:20 <pfps> james: is it possible to have optimized execution even when correlation is needed
15:21:18 <pfps> AndyS: so the idea is to pass all the rows at once, not just one at a time?
15:21:22 <pfps> james: yes
15:21:42 <gtw> q+
15:22:11 <pfps> AndyS: would this be exactly the same?  maybe
15:22:44 <pfps> olaf:  I think it is not possible to define it this way because FILTER is per-solution mapping
15:23:33 <pfps> AndyS: minus and other negation could be a problem
15:23:41 <AndyS> ack gtw
15:24:02 <pfps> gregg: aggregation is also an issue
15:24:14 <gtw> s/gregg:/gtw:/
15:25:20 <pfps> olaf: I'll look at the suggestions
15:26:11 <AndyS> zakim, next item
15:26:11 <Zakim> agendum 4 -- Topic for next time -- taken up [from agendabot]
15:26:47 <pfps> AndyS: would it be useful to more than just EXISTS, i.e., to look at other PRs
15:26:57 <pfps> pfps: sounds reasonable
15:27:34 <pfps> AndyS: there is other work that Olaf is pursuing
15:27:52 <lisp> q+
15:28:19 <pfps> james: is there a list of PRs to look at?
15:28:28 <AndyS> ack lisp
15:28:42 <pfps> AndyS: the ones on SPARQL Query
15:30:02 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html TallTed
15:30:16 <pfps> pfps has left #rdf-star
15:30:17 <AndyS> zakim, end meeting
15:30:17 <Zakim> As of this point the attendees have been lisp, olaf, pfps, gtw, AndyS, TallTed
15:30:19 <Zakim> RRSAgent, please draft minutes
15:30:21 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html Zakim
15:30:27 <Zakim> I am happy to have been of service, AndyS; please remember to excuse RRSAgent.  Goodbye
15:30:27 <TallTed> previous meeting: https://www.w3.org/2025/08/14-rdf-star-minutes.html
15:30:27 <TallTed> next meeting: https://www.w3.org/2025/08/21-rdf-star-minutes.html
15:30:28 <Zakim> Zakim has left #rdf-star
15:30:35 <AndyS> rrsagent, please leave
15:30:35 <RRSAgent> I see no action items
15:38:21 <RRSAgent> RRSAgent has joined #rdf-star
15:38:21 <RRSAgent> logging to https://www.w3.org/2025/08/15-rdf-star-irc
15:38:29 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html TallTed
15:39:35 <TallTed> i|intentional or unavoidable|agenda: https://www.w3.org/events/meetings/bc9ea940-ea66-4e30-91be-cf7c51a81044/20250815T143000/
15:40:57 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html TallTed
15:42:12 <TallTed> i|intentional or unavoidable|scribe: pfps
15:42:12 <TallTed> i|intentional or unavoidable|present+ james
15:42:22 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html TallTed
15:44:05 <TallTed> s/agendum 1 -- Scribe? -- taken up [from agendabot]//
15:44:12 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html TallTed
15:46:14 <TallTed> i|intentional or unavoidable|chair: AndyS
15:46:55 <TallTed> i|intentional or unavoidable|meeting: SPARQL TF of RDF & SPARQL WG
15:47:14 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/15-rdf-star-minutes.html TallTed
15:47:58 <TallTed> RRSAgent, bye
15:48:12 <RRSAgent> I see no action items