14:24:47 <RRSAgent> RRSAgent has joined #rdf-star
14:24:51 <RRSAgent> logging to https://www.w3.org/2025/08/22-rdf-star-irc
14:25:01 <AndyS> zakim, this is SPARQL TF
14:25:01 <Zakim> got it, AndyS
14:25:27 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html AndyS
14:25:52 <AndyS> agenda: https://www.w3.org/events/meetings/bc9ea940-ea66-4e30-91be-cf7c51a81044/20250822T143000/#agenda
14:25:54 <agendabot> clear agenda
14:25:54 <agendabot> agenda+ Scribe?
14:25:54 <agendabot> agenda+ PR updates
14:25:54 <agendabot> agenda+ From Data Shapes WG.
14:25:54 <agendabot> agenda+ Meeting scheduling
14:25:56 <agendabot> agenda+ Topic for next time
14:26:04 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html AndyS
14:26:42 <AndyS> meeting: SPARQL TF
14:27:19 <AndyS> previous meeting: https://www.w3.org/2025/08/21-rdf-star-minutes.html
14:27:34 <AndyS> next meeting: https://www.w3.org/2025/08/28-rdf-star-minutes.html
14:27:41 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html AndyS
14:27:48 <AndyS> present+
14:28:08 <AndyS> chair: AndyS
14:28:16 <TallTed> present+
14:28:55 <AndyS> present?
14:29:19 <TallTed> Zakim, who's here?
14:29:19 <Zakim> Present: AndyS, TallTed
14:29:21 <Zakim> On IRC I see RRSAgent, Zakim, AndyS, TallTed, driib5, gb, csarven, gtw, ktk, agendabot, rhiaro, pchampin, Tpt, m2gbot
14:29:56 <lisp> lisp has joined #rdf-star
14:30:02 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html TallTed
14:30:20 <TallTed> s/present?//
14:31:35 <olaf> olaf has joined #rdf-star
14:31:53 <gtw> present+
14:32:00 <lisp> present+
14:32:25 <AndyS> zakim, open item 1
14:32:25 <Zakim> agendum 1 -- Scribe? -- taken up [from agendabot]
14:32:27 <Tpt> present+
14:32:31 <olaf> present+
14:32:49 <olaf> scribe+
14:33:06 <AndyS> zakim, next item
14:33:06 <Zakim> agendum 1 was just opened, AndyS
14:33:15 <AndyS> zakim, close item 1
14:33:15 <Zakim> agendum 1, Scribe?, closed
14:33:16 <Zakim> I see 4 items remaining on the agenda; the next one is
14:33:16 <Zakim> 2. PR updates [from agendabot]
14:33:36 <pfps> pfps has joined #rdf-star
14:33:45 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html TallTed
14:33:52 <pfps> present+
14:34:18 <AndyS> scribe+
14:34:58 <olaf> https://gist.github.com/hartig/3fffc7a02f3e0411158298e313b4c9c2
14:36:22 <AndyS> olaf: proposal for how to define deep injection
14:36:47 <AndyS> ... ONCE means for every row
14:37:17 <AndyS> ... OVERALL is inject all rows
14:37:45 <AndyS> ... section 18.6.2 Evalutation Semantics
14:38:39 <gkellogg> gkellogg has joined #rdf-star
14:39:04 <AndyS> ... eval(D(G), A, current solution)
14:39:18 <AndyS> ... default to empty solution mapping
14:39:47 <AndyS> ... for eval  FILTER the current solution is set
14:40:39 <AndyS> ... define of BGP
14:41:18 <pfps> I was just trying to determine whether it is possible for a pattern to "return" a mapping that is different from an injected (single) mapping.  I don't think that this is possible.
14:41:22 <AndyS> s/define of BGP/definition of eval BGP/
14:41:33 <lisp> q+
14:43:22 <pfps> So, could { VALUES ?X { ex:a } ... } contain a solution mapping that maps ?X to anything besides ex:a?
14:46:05 <Tpt> scribe+
14:46:21 <Tpt> AndyS: VALUES is just a BIND, it should be prevented by scoping rules
14:50:05 <AndyS> q?
14:50:52 <AndyS> ack lisp
14:51:28 <AndyS> q+
14:51:38 <pfps> q+
14:51:43 <AndyS> q-
14:51:45 <AndyS> q+
14:51:48 <pfps> q-
14:55:15 <pfps> q+
14:55:38 <pfps> I think that James is thinking of EXISTS { BIND ?v as ?x }
14:57:24 <gkellogg> gkellogg has joined #rdf-star
14:58:34 <AndyS> ack me
14:59:08 <pfps> q-
14:59:29 <AndyS> ack pfps
15:01:14 <gtw> q+
15:03:44 <AndyS> ack gtw
15:04:17 <AndyS> gtw: also change (extend) for variablein mu-cxt
15:04:32 <lisp> q+
15:04:37 <AndyS> s/variablein/variable in/
15:11:27 <AndyS> q?
15:13:29 <AndyS> ack lisp
15:16:36 <lisp> q+
15:17:06 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html TallTed
15:20:33 <AndyS> ack lisp
15:29:44 <TallTed> I *think* Olaf's typographic stuff is just HTML markup, which is allowed within a Markdown doc
15:30:01 <AndyS> agenda?
15:30:27 <AndyS> close item 2
15:30:37 <olaf> Indeed, just HTML markup ;-)
15:31:04 <AndyS> open item 4
15:31:12 <olaf> AndyS: should we reduce the frequency to every other week?
15:32:07 <AndyS> close item
15:32:07 <olaf> ... okay, let's go to biweekly
15:32:16 <AndyS> zakim, close item
15:32:16 <Zakim> I don't understand 'close item', AndyS
15:32:20 <AndyS> zakim, close item 4
15:32:20 <Zakim> agendum 4, Meeting scheduling, closed
15:32:21 <Zakim> I see 2 items remaining on the agenda; the next one is
15:32:21 <Zakim> 3. From Data Shapes WG. [from agendabot]
15:37:58 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html TallTed
15:46:57 <AndyS> zakim, end meeting
15:46:57 <Zakim> As of this point the attendees have been AndyS, TallTed, gtw, lisp, Tpt, olaf, pfps
15:46:59 <Zakim> RRSAgent, please draft minutes
15:47:00 <RRSAgent> I have made the request to generate https://www.w3.org/2025/08/22-rdf-star-minutes.html Zakim
15:47:05 <Zakim> I am happy to have been of service, AndyS; please remember to excuse RRSAgent.  Goodbye
15:47:06 <Zakim> Zakim has left #rdf-star
15:47:21 <AndyS> rrsagent, please leave us
15:47:21 <RRSAgent> I see no action items