New PR: yet another refactoring of the semantics

Dear all,

recently I was increasingly bothered with some aspects of the RDF-star 

* the use of hidden IRIs is clearly not ideal, all the more that "they 
can not hide from SPARQL" (

* the SPARQL-star execution semantics was not aligned with the MT semantics

This PR is an attempt to solve these two problems:

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 

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

Peter, I guess I owe you an apology for not seeing the value in this 
proposal earlier!...


Received on Wednesday, 28 April 2021 20:45:02 UTC