Re: [Sem] Yet another formal semantics for RDF-star

It would be useful to have some more explanation and some examples.

 From my quick read this appears to be very lose to to using RDF reification 
plus uniqueness of triples.

In the Satisfaction section it appears that either a nor J[a] is defined for 
blank nodes.

peter


On 3/27/23 09:09, Antoine Zimmermann wrote:
> This is mostly for the semantics task force.
> 
> I wrote this:
> https://www.emse.fr/~zimmermann/W3C/RDF-star-semantics/
> 
> The idea is that embedded triples are interpreted as arbitrary resources and 
> the resources denoted by the subject, predicate, and object of an embedded 
> triple are connected (semantically) to the embedded-triple-resource via 3 
> properties that depend on the interpretation.
> 
> Now, please comment and destroy this proposal :)

Received on Monday, 27 March 2023 15:37:27 UTC