RE: rdf semantics and timelessly true

Re: It assumes, implicitly, that URI references have the same meaning whenever they occur."

That assumption seems to have been overtaken by events, technologies and usage over time. 

> -----Original Message-----
> From: Pat Hayes [mailto:phayes@ihmc.us]
> Sent: Wednesday, November 14, 2012 11:27 AM
> To: nathan@webr3.org
> Cc: Sergey Larionov; Semantic Web
> Subject: Re: rdf semantics and timelessly true
> 
> 
> 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.
> 
> 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 16:36:55 UTC