Status of RDF-Semantics (PRs, Issues) from Franconi Enrico on 2025-10-09 (public-rdf-star-wg@w3.org from October 2025)

From: Franconi Enrico <franconi@inf.unibz.it>
Date: Thu, 9 Oct 2025 15:00:05 +0000
To: RDF-star Working Group <public-rdf-star-wg@w3.org>
CC: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>, Doerthe Arndt <doerthe.arndt@tu-dresden.de>, Pierre-Antoine Champin <pierre-antoine@w3.org>
Message-ID: <E17916D5-D9F5-4113-A363-9E72F99E4C99@inf.unibz.it>

  *   PR #161 (from issue #133 - finite interpretation: delete Appendix B):
     *   blocked by comment by @pchampin - after, ready to merge
  *   PR #160 (from issue #139 - correctness of entailment rules):
     *   @pfps finalising the PR - after, ready to merge
  *   issue #102 - correctness of interpolation lemma:
     *   finalised the proof to be checked by @pfps and @doerthe - after, ready to be closed

Received on Thursday, 9 October 2025 15:00:15 UTC