Short minutes of the RDF-star Semantics task force of the 28th of April 2023.

Short minutes of the RDF-star Semantics task force of the 28th of April 2023.

We had a short discussion of what characterises the modal predication cases (e.g., the modal interpretation of says, believes, knows, etc): Enrico claims that we should see the modally quoted triple as a parallel independent RDF graph containing only the quoted triple with an opaque interpretation.

There seems to be an agreement that characterising the semantics of the fully transparent case, the fully opaque case, and the fully syntactic case could be “easy”.

So we focussed on the semi-transparent case, which turned out that it could have several different interpretations, depending on how we interpret bnodes. So, we started to discuss “What’s in a semi-transparent bnode”. We considered the use case (?) on how to characterise in RDF-star the log of a SPARQL update. 

To be continued.

Received on Friday, 5 May 2023 13:41:41 UTC