search

w3c / rdf-star

RDF-star specification
https://w3c.github.io/rdf-star/
Other
119 stars 23 forks source link

(yet another) semantics proposal #162

Closed pchampin closed 3 years ago

pchampin commented 3 years ago

this one is actually very close to what @pfps proposed a while ago: https://www.w3.org/mid/3ae4b60f-7de6-e552-1443-657110ab0d30@gmail.com

Note that in this proposal, unstar(G) is NOT equivalent to G (except in some special cases). This removes the need to have hidden IRIs, and ensures (I think) that SPARQL's evaluation semantics is consistent with simple entailment.

Preview | Diff

pchampin commented 3 years ago

This was discussed during today's call: https://w3c.github.io/rdf-star/Minutes/2021-04-30.html#t04

pchampin commented 3 years ago

(I merged despite the IPR warning, as this was clearly a bug)