Dear all, recently I was increasingly bothered with some aspects of the RDF-star semantics: * the use of hidden IRIs is clearly not ideal, all the more that "they can not hide from SPARQL" (https://github.com/w3c/rdf-star/issues/101) * the SPARQL-star execution semantics was not aligned with the MT semantics This PR is an attempt to solve these two problems: https://github.com/w3c/rdf-star/pull/162 which I propose we discuss during our next call. The main change with the previous version, apart from not using hidden IRIs, is that unstar(G) is no longer equivalent to G (but they are equisatisfiable). Working on this PR, I realize that I was actually coming back (or very close) to a solution proposed by Peter Patel-Schneider quite some time ago https://lists.w3.org/Archives/Public/public-rdf-star/2020Nov/0044.html Peter, I guess I owe you an apology for not seeing the value in this proposal earlier!... best
This archive was generated by hypermail 2.4.0 : Wednesday, 28 April 2021 20:45:03 UTC