Proposal of definition for timestamped graph

I have created a pull request for the proposal for a revised definition, 
and included some examples. The previous definition is still visible from:

https://github.com/streamreasoning/RSP-QL/blob/master/Semantics.md

while the new definition, plus some possible serializations, can be seen 
in my fork

https://github.com/greenTara/RSP-QL/blob/master/Semantics.md

There is a slight merge conflict, but I think it is not too bad. 
Apparently I did not pull the latest commit from Alasdair. But I am 
requesting that the pull NOT be merged yet so we can easily compare the 
previous definition to the new proposal.

I still have some concerns about the case where the named graph is not 
included in the timestamped graph, i.e. only the IRI that is its name is 
transmitted. Unless the timestamped graph is interpreted in some 
"context" where there is some set of known named graphs, this 
formulation seems to leave the semantics of a timestamped graph at the 
mercy of the state of the internet (for dereferencing the named graph).

Tara

Received on Friday, 26 June 2015 16:46:39 UTC