13:53:17 <RRSAgent> RRSAgent has joined #rdf-star
13:53:21 <RRSAgent> logging to https://www.w3.org/2025/03/21-rdf-star-irc
13:53:21 <Zakim> Zakim has joined #rdf-star
13:53:38 <TallTed> meeting: RDF-star Semantics TF
13:53:42 <TallTed> agendabot, find agenda
13:53:42 <agendabot> TallTed, OK. This may take a minute...
13:53:43 <agendabot> Sorry, I did not find an agenda.
13:53:59 <TallTed> agenda: https://www.w3.org/events/meetings/59c97770-65f5-4c46-9d03-86fb61ff2bbc/20250321T100000/
13:54:00 <agendabot> TallTed, sorry, I did not recognize any agenda in https://www.w3.org/events/meetings/59c97770-65f5-4c46-9d03-86fb61ff2bbc/20250321T100000/
13:54:16 <TallTed> TallTed has changed the topic to: RDF-star Semantics TF -- 2025-03-21 agenda: https://www.w3.org/events/meetings/59c97770-65f5-4c46-9d03-86fb61ff2bbc/20250321T100000/
13:55:47 <TallTed> agenda+ Define an interpretation of Triple Terms -- https://github.com/w3c/rdf-semantics/issues/49
13:55:47 <TallTed> agenda+ Check if the interpolation lemma is still true given the new semantics -- https://github.com/w3c/rdf-semantics/issues/102
13:55:47 <TallTed> agenda+ Prove that the fact that mapping RE is total and injective does not lead to problems -- https://github.com/w3c/rdf-semantics/issues/111
13:55:48 <gb> https://github.com/w3c/rdf-semantics/issues/102 -> Issue 102 Check if the interpolation lemma is still true given the new semantics (by franconi) [spec:substantive]
13:55:48 <gb> https://github.com/w3c/rdf-semantics/issues/111 -> Issue 111 Prove that the fact that mapping RE is total and injective does not lead to problems (by doerthe) [spec:substantive]
13:55:48 <gb> https://github.com/w3c/rdf-semantics/issues/49 -> Issue 49 Define an interpretation of propositions relating to their constituents (by niklasl) [spec:substantive]
13:56:26 <TallTed> scribe: not-me
13:56:26 <TallTed> present+
13:56:31 <RRSAgent> I have made the request to generate https://www.w3.org/2025/03/21-rdf-star-minutes.html TallTed
13:57:06 <TallTed> previous meeting: https://www.w3.org/2025/03/20-rdf-star-minutes.html
13:57:06 <TallTed> next meeting: https://www.w3.org/2025/03/27-rdf-star-minutes.html
13:57:13 <RRSAgent> I have made the request to generate https://www.w3.org/2025/03/21-rdf-star-minutes.html TallTed
13:57:29 <pfps> pfps has joined #rdf-star
14:00:19 <enrico> enrico has joined #rdf-star
14:00:23 <enrico> present+
14:02:21 <tl> tl has joined #rdf-star
14:02:53 <pfps> present+
14:03:26 <tl> present+
14:04:22 <TallTed> agenda?
14:06:48 <Souri> Souri has joined #rdf-star
14:07:03 <Souri> present+
14:07:21 <doerthe> doerthe has joined #rdf-star
14:07:34 <doerthe> present+
14:07:53 <niklasl> niklasl has joined #rdf-star
14:08:28 <niklasl> present+
14:08:43 <doerthe> continuum hypothesis
14:12:50 <AndyS> AndyS has joined #rdf-star
14:13:02 <pchampin> present+
14:13:24 <AndyS> present+
14:13:52 <enrico> We close the is #due to the convincing argumentation by @pfps and @doerthe.
14:14:14 <enrico> issue number 111 (above)
14:15:50 <RRSAgent> I'm logging. I don't understand 'draft miinutes', AndyS.  Try /msg RRSAgent help
14:17:13 <RRSAgent> I have made the request to generate https://www.w3.org/2025/03/21-rdf-star-minutes.html TallTed
14:18:00 <enrico> niklasl moves issue number 49 to rdf-star-wg
14:19:16 <niklasl> 49 is now https://github.com/w3c/rdf-star-wg/issues/154
14:19:16 <gb> https://github.com/w3c/rdf-star-wg/issues/154 -> Issue 154 Define an interpretation of propositions relating to their constituents (by niklasl)
14:20:27 <gb> Issue 49 not found
14:21:14 <enrico> Merged PR number 110
14:23:13 <TallTed> is there a link to the PR 110 that was merged? (i.e., which repo?)
14:24:02 <niklasl> @TallTed https://github.com/w3c/rdf-semantics/pull/110
14:24:03 <gb> https://github.com/w3c/rdf-semantics/pull/110 -> MERGED Pull Request 110 Update of GrdfD (by doerthe)
14:24:11 <doerthe> https://www.w3.org/TR/rdf12-semantics/#rdf_datasets
14:26:52 <niklasl> https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-dataset
14:35:00 <enrico> Test examples may be found in https://github.com/w3c/rdf-star-wg/wiki/RDF%E2%80%90star-baseline-examples
14:35:45 <pchampin> https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-semantics/
14:36:01 <pchampin> https://w3c.github.io/rdf-tests/rdf/rdf11/rdf-mt/
14:36:33 <AndyS> "RDF 1.2 Semantic Tests" - https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-semantics/ -- currently, CG tests
15:00:35 <AndyS> https://www.w3.org/TR/rdf12-concepts/#dfn-triple-term
15:23:15 <niklasl> Is https://en.wikipedia.org/wiki/Herbrand_interpretation helpful here?
15:26:05 <niklasl> @enrico see https://github.com/w3c/rdf-concepts/issues/129
15:26:05 <gb> https://github.com/w3c/rdf-concepts/issues/129 -> Issue 129 Distinguish the RDF Data Model from the Abstract Syntax (by gkellogg) [ms:CR] [spec:substantive]
15:42:12 <pchampin> An RDF term is said to be **ground** if it is an IRI, a literal, or a triple term in which only ground terms appear.
15:42:50 <pchampin> By extension, an RDF triple is said to be **ground** if its subject, predicate and object are all ground.
15:44:29 <pchampin> and an RDF graph is said to be **ground** if all its elements are ground RDF triples.
15:46:59 <niklasl> +1 to pchampin's definition
16:24:49 <pfps> pfps has left #rdf-star
17:26:36 <pfps`> pfps` has joined #rdf-star
17:47:44 <gkellogg> gkellogg has joined #rdf-star
19:37:26 <gkellogg> gkellogg has joined #rdf-star