Re: Web Semantics of Datasets (v0.2)

On Oct 10, 2011, at 8:26 PM, Sandro Hawke wrote:

> On Mon, 2011-10-10 at 16:31 -0500, Pat Hayes wrote:
>> 
>> Check out the distinction between 'valid time' and 'transaction time'
>> in temporal RDBs. 
> 
> Yes, of course, I know that stuff.   I wish people made temporal
> triplestores; I keep having to cobble my own together.
> 
> It's so frustrating that you can't see what I'm talking about.  I'm not
> talking about anything weird or complicated here

Sorry, but you are. Well, not weird, but certainly complicated. Maybe you don't realize how complicated it is.

> , but I guess somehow
> I'm using the wrong words so you think I am.
> 
> Doesn't it make sense that when a TriG file says:
> 
>   <http://example.org/a> { <s> <p> <o>. }
> 
> it means that "http://example.org/a" names a g-box, and for the purposes
> of this TriG file, that g-box should be understood as holding the graph
> consisting of that triple?    
> 
> If not, then what do you think that TriG file means (or should mean) ?  

Well, the TriG document talks about 'named graphs' and refers to the Named Graph page, which says that the semantics are given in the Carroll/Bizer/Hayes/Stickler paper (though it does have a broken link, I must admit), which in turn is quite explicit that this means that the name URI names the *graph*, and indeed is a rigid designator of the graph. So, no g-boxes there. 

Now, let me say at once that we could indeed re-think this along the lines you suggest, in which the name names a g-box. But then you can't use the name to refer to the graph as well, because the g-box and the graph are two different things. VERY different things. Unless of course we have names that refer in a time-dependent way, which (to repeat) moves RDF into being a temporal hybrid/context logic. 

Pat


> 
>     -- Sandro
> 
> 
> 
> 
> 
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Wednesday, 12 October 2011 06:15:21 UTC