15:04:26 RRSAgent has joined #rdf-star 15:04:30 logging to https://www.w3.org/2025/01/31-rdf-star-irc 15:04:30 pfps has joined #rdf-star 15:04:37 present+ 15:04:39 present+ 15:04:43 present+ 15:04:44 agenda: https://www.w3.org/events/meetings/59c97770-65f5-4c46-9d03-86fb61ff2bbc/20250131T100000/ 15:04:44 clear agenda 15:04:44 agenda+ Discuss 15:04:46 meeting: RDF-star Semantics TF 15:04:56 present+ 15:05:56 doerthe has joined #rdf-star 15:06:09 present+ 15:07:05 I have made the request to generate https://www.w3.org/2025/01/31-rdf-star-minutes.html TallTed 15:07:14 clear agenda 15:07:14 agenda+ discuss PR [#74](https://github.com/w3c/rdf-semantics/pull/74) 15:07:15 https://github.com/w3c/rdf-star-wg/pull/74 -> Pull Request 74 fix some punctuation and such in semantics.md (by TallTed) 15:07:15 https://github.com/w3c/rdf-semantics/pull/74 -> Pull Request 74 Update RDF-semantics with the liberal baseline RDF and RDFS semantics (by franconi) [spec:substantive] 15:07:16 agenda+ discuss the open issues in RDF-semantics: [#49](https://github.com/w3c/rdf-semantics/issues/49), [#61](https://github.com/w3c/rdf-semantics/issues/61), [#70](https://github.com/w3c/rdf-semantics/issues/70) 15:07:16 https://github.com/w3c/rdf-star-wg/issues/49 -> CLOSED Action 49 put in the repo the "source of truth" for labels (on pchampin) due 13 Apr 2023 15:07:16 https://github.com/w3c/rdf-star-wg/issues/61 -> Issue 61 CSS changes reduce readability of documents (by pfps) [needs discussion] 15:07:19 https://github.com/w3c/rdf-semantics/issues/70 -> Issue 70 New entailment pattern rdfD1 (by doerthe) 15:07:22 https://github.com/w3c/rdf-star-wg/pull/70 -> CLOSED Pull Request 70 Update semantics.md to improve readability of example (by rat10) 15:07:25 https://github.com/w3c/rdf-semantics/issues/61 -> Issue 61 Explain how classic RDF reification relates to triple terms and rdf:reifies (by niklasl) [spec:editorial] 15:07:29 https://github.com/w3c/rdf-semantics/issues/49 -> Issue 49 Define an interpretation of Triple Terms (by niklasl) [needs discussion] 15:07:39 https://www.w3.org/TR/rdf12-concepts/#data-model 15:08:58 Zakim, open item 1 15:08:58 agendum 1 -- discuss PR [#74](https://github.com/w3c/rdf-semantics/pull/74) -- taken up [from TallTed] 15:10:14 previous meeting: https://www.w3.org/2025/01/30-rdf-star-minutes.html 15:10:15 next meeting: https://www.w3.org/2025/02/06-rdf-star-minutes.html 15:11:10 I have made the request to generate https://www.w3.org/2025/01/31-rdf-star-minutes.html TallTed 15:11:58 I just created https://github.com/w3c/rdf-semantics/issues/76 on completeness of the RDFS entailment rules. 15:11:58 https://github.com/w3c/rdf-semantics/issues/76 -> Issue 76 completeness of RDFS entailment rules (by pfps) 15:11:59 chair: enrico 15:12:00 issue https://pr-preview.s3.amazonaws.com/franconi/rdf-semantics-fork-enrico/pull/74.html#dfn-rdfs14 15:12:18 scribe: ad-hoc 15:13:39 s|discuss the open issues in RDF-semantics: [#49](https://github.com/w3c/rdf-semantics/issues/49), [#61](https://github.com/w3c/rdf-semantics/issues/61), [#70](https://github.com/w3c/rdf-semantics/issues/70) |discuss the open issues in RDF-semantics: https://github.com/w3c/rdf-semantics/issues/49, https://github.com/w3c/rdf-semantics/issues/61, https://github.com/w3c/rdf-semantics/issues/70 | 15:13:49 Please put

TEXT

in the doc at the appropriate place. 15:14:11 I have made the request to generate https://www.w3.org/2025/01/31-rdf-star-minutes.html TallTed 15:17:06 +1 15:20:01 q+ 15:20:08 can you give the link again, I forgot the number we are discussing 15:20:30 Mu comment: https://github.com/w3c/rdf-semantics/issues/61#issuecomment-2626844963 15:20:31 https://github.com/w3c/rdf-semantics/issues/61 -> Issue 61 Explain how classic RDF reification relates to triple terms and rdf:reifies (by niklasl) [spec:editorial] 15:20:54 and https://github.com/w3c/rdf-semantics/issues/49 15:20:54 https://github.com/w3c/rdf-semantics/issues/49 -> Issue 49 Define an interpretation of Triple Terms (by niklasl) [needs discussion] 15:21:27 ack niklasl 15:26:06 niklasl has joined #rdf-star 15:27:59 https://github.com/w3c/rdf-ucr/issues/27 15:28:00 https://github.com/w3c/rdf-ucr/issues/27 -> Issue 27 Integrating different ontology designs through entailment upon triple terms (by niklasl) [use case] 15:32:51 q+ 15:33:07 Yes, unstar is just a crutch. 15:33:09 q+ 15:33:41 ack tl 15:35:14 ack pfps 15:35:34 q+ 15:37:03 ack enrico 15:37:33 q+ to say systems will take years to update (if at all) 15:38:43 q+ 15:39:18 q- 15:41:17 ack niklasl 15:42:18 q+ on going via https://github.com/w3c/rdf-semantics/issues/61#issuecomment-2626871025 15:42:18 https://github.com/w3c/rdf-semantics/issues/61 -> Issue 61 Explain how classic RDF reification relates to triple terms and rdf:reifies (by niklasl) [spec:editorial] 15:46:35 ack enrico 15:46:35 enrico, you wanted to comment on going via https://github.com/w3c/rdf-semantics/issues/61#issuecomment-2626871025 15:52:33 don't start the discussion please, but we could still drop injectivity ;) 15:52:52 😱 15:53:22 +! to d. :P 15:58:41 :A :R :D . 15:58:41 :D :R :A . 15:58:41 :T rdf:type :D . 15:58:41 :A rdfs:subclassof :A . 15:58:42 OWL-entails if metamodelling triple could be in the ABox graph (but not RDFS-entails): 15:58:42 _:x :R _:y . 15:58:42 _:z rdf:type _:y . 15:58:43 _:x rdfs:subclassof :D . 16:00:53 I will think about it and come back to it 16:01:45 q+ 16:02:04 unstar in sparql, a (wrong) proposal: https://github.com/w3c/rdf-semantics/issues/61#issuecomment-2626871025 16:02:05 https://github.com/w3c/rdf-semantics/issues/61 -> Issue 61 Explain how classic RDF reification relates to triple terms and rdf:reifies (by niklasl) [spec:editorial] 16:03:41 https://github.com/w3c/rdf-star-wg/wiki/Converting-RDF-1.2-data-to-RDF-1.1 16:05:06 unstar definition: https://github.com/w3c/rdf-semantics/issues/61#issuecomment-2626844963 16:09:43 ack niklasl 16:11:15 q+ 16:11:38 q+ 16:11:39 ack niklasl 16:13:00 https://github.com/w3c/rdf-concepts/pull/115 16:13:00 https://github.com/w3c/rdf-concepts/pull/115 -> Pull Request 115 add section about 'unstar' mapping (by pchampin) [spec:enhancement] 16:14:16 ack tl 16:18:37 https://github.com/w3c/rdf-star-wg/issues/114 16:18:38 https://github.com/w3c/rdf-star-wg/issues/114 -> Issue 114 Un-star operation to support RDF Dataset Canonicalization? (by niklasl) [needs discussion] 16:19:50 Cf. https://w3c.github.io/rdf-schema/spec/ 16:22:01 Proposal: approve PR #74, once final minor fixes done by Enrico: (a) wording of rfds14, (b) deleting offending external references, (c) refer to an issue on completeness of entailment pattern for rdfs:Proposition 16:22:02 https://github.com/w3c/rdf-star-wg/pull/74 -> Pull Request 74 fix some punctuation and such in semantics.md (by TallTed) 16:22:36 +1 16:22:38 +1 16:22:49 niklasl has joined #rdf-star 16:23:00 +1 16:23:06 +1 16:23:13 +1 16:23:16 and (d) typos fixed by doerthe 16:23:20 +1 16:23:32 https://github.com/w3c/rdf-semantics/pull/74 16:23:32 https://github.com/w3c/rdf-semantics/pull/74 -> Pull Request 74 Update RDF-semantics with the liberal baseline RDF and RDFS semantics (by franconi) [spec:substantive] 16:24:25 +1 (on good faith) 16:25:19 Action by enrico: write to mailing list to open an issue unifying all the discussions on unstar and related approaches 16:25:20 Cannot create action. Validation failed. Maybe by enrico is not a valid user for w3c/rdf-star-wg? 16:25:40 enrico will write to mailing list to open an issue unifying all the discussions on unstar and related approaches 16:26:28 is this the RESOLUTION? : approve https://github.com/w3c/rdf-semantics/pull/74, once final minor fixes done by Enrico: (a) wording of rfds14, (b) deleting offending external references, (c) refer to an issue on completeness of entailment pattern for rdfs:Proposition, and (d) typos fixed by doerthe 16:26:53 RESOLVED: approve https://github.com/w3c/rdf-semantics/pull/74, once final minor fixes done by Enrico: (a) wording of rfds14, (b) deleting offending external references, (c) refer to an issue on completeness of entailment pattern for rdfs:Proposition, and (d) typos fixed by doerthe 16:27:06 I have made the request to generate https://www.w3.org/2025/01/31-rdf-star-minutes.html TallTed 16:48:27 gkellogg has joined #rdf-star 16:57:26 Zakim, bye 16:57:26 leaving. As of this point the attendees have been pfps, gkellogg, TallTed, AndyS, doerthe 16:57:26 Zakim has left #rdf-star 16:57:29 RRSAgent, bye 16:57:29 I see no action items