Re: rdf semantics and timelessly true

On Nov 14, 2012, at 8:42 AM, Nathan wrote:

> Pat Hayes wrote:
>> On Nov 14, 2012, at 8:03 AM, Nathan wrote:
>>> Hi Pat,
>>> 
>>> Pat Hayes wrote:
>>>> Its not impossible, and in a strong sense this is required by the current RDF semantics, which treats all RDF assertions as timelessly true.
>>> Can you refine / expand on this please? I'd presumed RDF to have no consideration of time - e.g time-less; as opposed to being true for all time (timeless).
>>> 
>>> TIA,
>>> 
>>> Nathan
>> Yes, time-less is a better way to put it. But it is so because URIreferences are assumed (and I know this is an idealization, but...) to be timeless in how they refer. Section 1.2 says:  "... the semantics simply assumes that ... a single URI reference can be taken to have the same meaning wherever it occurs. Similarly, the semantics has no special provision for tracking temporal changes. It assumes, implicitly, that URI references have the same meaning whenever they occur."
>> In other words, no counters allowed. 
> 
> What about any data that changes? if <http://webr3.org/nathan#me> refers to "me", and I change my name from Nathan to Bob, then I cannot update my RDF to reflect this? or perhaps more realistically, my email address?

Its fine to coin a new URI for yourself. The issue arises if you want to re-use your old URI to refer to something different. What you *ought* to do, according to the strict RDF rules (and TimBL's idea of "cool URIs") is to coin a new URI for the new thing and keep the old one meaning the same thing as it always did. But note, it is fine for this "thing" to be something that is dynamic, ie which has states that change with time. LIke a daily newspaper, for example. But then you need to be careful to distinguish this thing from one of its states... 

Pat

> 
> 

------------------------------------------------------------
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, 14 November 2012 17:45:41 UTC