N3 Patch contradiction about blank nodes: can they be part of ?insertions?

[lecoqlibre]

In the current section 5.3.1 Modifying Resources Using N3 Patches of the Solid protocol (v0.11.0 - 12 May 2024), we can both read that:

The ?insertions and ?deletions formulae MUST NOT contain blank nodes. (source)

AND:

The triples resulting from ?insertions are to be added to the RDF dataset, with each blank node from ?insertions resulting in a newly created blank node.

The latter suggests that ?insertions can contain blank nodes while the former explicitly forbids.

[bourgeoa]

@csarven @CxRes @timbl

This N3PATCH in RdfLib is a valid test (not spec compliant) should be allowed in spec and then in CSS

https://github.com/linkeddata/rdflib.js/blob/82f693dc10d5b915f97eedeab5351cf831c3611e/tests/unit/update-manager-n3patch-insert-test.ts#L84-L99

The same triple is a also a valid application/sparql-update test and is working in both NSS/CSS PATCH

[csarven]

There is a proposal to resolve this issue in #711 .

[michielbdejong]

Here is another proposal to resolve this, but in the opposite direction: #716