00:07:42 <gkellogg> gkellogg has joined #rdf-star
00:21:36 <gkellogg> gkellogg has joined #rdf-star
00:32:14 <csarven> csarven has joined #rdf-star
00:51:02 <csarven> csarven has joined #rdf-star
00:56:00 <csarven> csarven has joined #rdf-star
01:03:47 <csarven_> csarven_ has joined #rdf-star
01:35:58 <gkellogg> gkellogg has joined #rdf-star
01:57:32 <gkellogg> gkellogg has joined #rdf-star
02:15:23 <gkellogg> gkellogg has joined #rdf-star
02:36:00 <gkellogg> gkellogg has joined #rdf-star
02:53:05 <gkellogg> gkellogg has joined #rdf-star
03:09:54 <gkellogg> gkellogg has joined #rdf-star
04:37:30 <gkellogg> gkellogg has joined #rdf-star
04:55:36 <gkellogg> gkellogg has joined #rdf-star
06:01:17 <gkellogg> gkellogg has joined #rdf-star
07:27:48 <gkellogg> gkellogg has joined #rdf-star
07:39:24 <gkellogg> gkellogg has joined #rdf-star
07:58:14 <gkellogg> gkellogg has joined #rdf-star
08:28:11 <gkellogg> gkellogg has joined #rdf-star
08:40:18 <gkellogg> gkellogg has joined #rdf-star
08:57:04 <gkellogg> gkellogg has joined #rdf-star
09:14:28 <gkellogg> gkellogg has joined #rdf-star
09:47:38 <gkellogg> gkellogg has joined #rdf-star
09:55:38 <gkellogg> gkellogg has joined #rdf-star
10:13:44 <gkellogg> gkellogg has joined #rdf-star
10:30:03 <gkellogg> gkellogg has joined #rdf-star
10:50:09 <gkellogg> gkellogg has joined #rdf-star
11:09:00 <gkellogg> gkellogg has joined #rdf-star
11:26:10 <gkellogg> gkellogg has joined #rdf-star
11:47:28 <gkellogg> gkellogg has joined #rdf-star
12:22:23 <gkellogg> gkellogg has joined #rdf-star
12:42:55 <gkellogg> gkellogg has joined #rdf-star
12:57:18 <gkellogg> gkellogg has joined #rdf-star
13:18:32 <gkellogg> gkellogg has joined #rdf-star
13:48:15 <TallTed> TallTed has joined #rdf-star
13:51:23 <gkellogg> gkellogg has joined #rdf-star
13:51:29 <TallTed> TallTed has changed the topic to: RDF-star Semantics TF -- 2025-03-14 agenda: https://www.w3.org/events/meetings/59c97770-65f5-4c46-9d03-86fb61ff2bbc/20250314T100000/
13:51:55 <TallTed> Zakim, who's here?
13:51:55 <Zakim> Present: gkellogg, james, TallTed, Tpt, olaf, pchampin, gtw, niklasl, ora, eBremer, AZ, enrico, pfps, Souri, present, doerthe
13:51:57 <Zakim> On IRC I see gkellogg, TallTed, csarven_, Zakim, RRSAgent, driib5, pchampin, rhiaro, m2gbot, gb, gtw, ktk, agendabot, Tpt
13:52:03 <TallTed> Zakim, bye
13:52:03 <Zakim> leaving.  As of this point the attendees have been gkellogg, james, TallTed, Tpt, olaf, pchampin, gtw, niklasl, ora, eBremer, AZ, enrico, pfps, Souri, present, doerthe
13:52:03 <Zakim> Zakim has left #rdf-star
13:52:05 <TallTed> RRSAgent, bye
13:52:05 <RRSAgent> I see no action items
13:52:11 <RRSAgent> RRSAgent has joined #rdf-star
13:52:11 <RRSAgent> logging to https://www.w3.org/2025/03/14-rdf-star-irc
13:52:13 <Zakim> Zakim has joined #rdf-star
13:52:19 <TallTed> meeting: RDF-star Semantics TF
13:52:21 <TallTed> agenda: https://www.w3.org/events/meetings/59c97770-65f5-4c46-9d03-86fb61ff2bbc/20250314T100000/
13:52:22 <agendabot> clear agenda
13:52:22 <agendabot> agenda+ discussion on open issues and PRs of RDF Semantics
13:53:35 <TallTed> s/leaving.  As of this point the attendees have been gkellogg, james, TallTed, Tpt, olaf, pchampin, gtw, niklasl, ora, eBremer, AZ, enrico, pfps, Souri, present, doerthe//
13:53:49 <TallTed> s/On IRC I see gkellogg, TallTed, csarven_, Zakim, RRSAgent, driib5, pchampin, rhiaro, m2gbot, gb, gtw, ktk, agendabot, Tpt//
13:53:49 <AndyS> AndyS has joined #rdf-star
13:53:57 <TallTed> s/Present: gkellogg, james, TallTed, Tpt, olaf, pchampin, gtw, niklasl, ora, eBremer, AZ, enrico, pfps, Souri, present, doerthe//
13:54:22 <RRSAgent> I have made the request to generate https://www.w3.org/2025/03/14-rdf-star-minutes.html TallTed
13:54:48 <TallTed> previous meeting: https://www.w3.org/2025/03/13-rdf-star-minutes.html
13:54:48 <TallTed> next meeting: https://www.w3.org/2025/03/20-rdf-star-minutes.html
13:56:29 <TallTed> scribe: not-me
13:56:29 <TallTed> present+ TallTed, AndyS
13:56:37 <RRSAgent> I have made the request to generate https://www.w3.org/2025/03/14-rdf-star-minutes.html TallTed
14:00:21 <gkellogg> gkellogg has joined #rdf-star
14:00:35 <pfps> pfps has joined #rdf-star
14:00:42 <pfps> present+
14:02:22 <doerthe> doerthe has joined #rdf-star
14:02:27 <enrico> enrico has joined #rdf-star
14:02:32 <enrico> present+
14:02:39 <doerthe> present+
14:05:02 <niklasl> niklasl has joined #rdf-star
14:06:43 <TallTed> Zakim, open item 1
14:06:43 <Zakim> agendum 1 -- discussion on open issues and PRs of RDF Semantics -- taken up [from agendabot]
14:07:07 <AndyS> AndyS has joined #rdf-star
14:07:17 <AndyS> present+
14:09:32 <niklasl> present+
14:14:52 <gkellogg> gkellogg has joined #rdf-star
14:18:20 <niklasl> IPR(I) = { RE(x, y, z) | x ∈ IR, y ∈ IP, z ∈ IR } and F(I) = { RE(x, y, z)｜<x, z> ∈ IEXT(y) }
14:45:57 <niklasl> Aren't irrational numbers in the set of literal values?
14:46:32 <gkellogg> gkellogg has joined #rdf-star
14:59:21 <niklasl> Is the fact that a specific proposition is of rdf:type rdfs:Proposition in the set of facts?
15:02:34 <gkellogg> gkellogg has joined #rdf-star
15:09:23 <niklasl> https://github.com/w3c/rdf-semantics/pull/91/files
15:09:24 <gb> https://github.com/w3c/rdf-semantics/pull/91 -> Pull Request 91 A formal background to unify triples and triple terms (by franconi) [spec:substantive]
15:28:59 <niklasl> https://github.com/w3c/rdf-semantics/issues/85
15:29:00 <gb> https://github.com/w3c/rdf-semantics/issues/85 -> CLOSED Issue 85 remove informative section about reification, collections, and containers from Semantics (by pfps) [spec:editorial]
15:35:21 <gkellogg> gkellogg has joined #rdf-star
15:36:20 <enrico> FEXT(G, I, A) = { RE( [I+A](s), I(p), [I+A](o) )｜s p o. is in G };
15:53:08 <gkellogg> gkellogg has joined #rdf-star
15:55:16 <RRSAgent> I have made the request to generate https://www.w3.org/2025/03/14-rdf-star-minutes.html TallTed
16:08:43 <TallTed> doerthe — in https://github.com/w3c/rdf-semantics/pull/91/files/50cdc1d50e1aad43d7ba168a3036188049aa5402..a3e8167baa5f9340f114bb9bcb875bfd89d07713 , I think there's some broken language.
16:08:44 <TallTed> Possibly more easily visible by searching for "Given a blank node mapping A" in the preview, https://pr-preview.s3.amazonaws.com/franconi/rdf-semantics-fork-enrico/pull/91.html
16:10:44 <niklasl> @enrico  see https://github.com/w3c/rdf-semantics/pull/91/files#r1995851932
16:13:17 <gkellogg> gkellogg has joined #rdf-star
16:13:38 <gkellogg> gkellogg has joined #rdf-star
16:15:02 <enrico> Conclusions: (1) we had a long discussion on PR#91, for which we have now a better formulation - doerthe will give her final approval, and (2) we had a long discussion on the well-foundedness of the current definition of RE (total injective mapping) - doerthe will try to find if there is any actual problem.
16:15:02 <gb> Issue 91 not found
16:16:39 <TallTed> G
16:17:50 <TallTed> Given a blank node mapping A, the set of all facts asserted by a graph G in an interpretation I is FEXT(G, I, A) = { < [I+A](s), I(p), [I+A](o) >£¸s p o. is in G }. We then observe that given a blank node mapping, the asserted facts of a graph with respect to an interpretation may not necessarily be among the facts of the interpretation.
16:19:24 <RRSAgent> I have made the request to generate https://www.w3.org/2025/03/14-rdf-star-minutes.html TallTed
16:19:37 <TallTed> Zakim, bye
16:19:37 <Zakim> leaving.  As of this point the attendees have been TallTed, AndyS, pfps, enrico, doerthe, niklasl
16:19:37 <Zakim> Zakim has left #rdf-star
16:19:41 <TallTed> RRSAgent, bye
16:19:41 <RRSAgent> I see no action items