W3C home > Mailing lists > Public > semantic-web@w3.org > November 2012

Re: rdf semantics and timelessly true

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 14 Nov 2012 21:51:21 -0800
Cc: semantic-web@w3.org
Message-Id: <319F71B5-8E38-4EBE-8C95-BEC22575F734@ihmc.us>
To: Jeremy Carroll <jeremy@topquadrant.com>

On Nov 14, 2012, at 12:16 PM, Jeremy Carroll wrote:

> On 11/14/2012 8:27 AM, Pat Hayes wrote:
>> In other words, no counters allowed.
> Overly purist ... :)

Well, you can quickly get into trouble. Suppose you know that counter is functional

hasValue a owl:FunctionalProperty

and someone says that

Counter hasValue "2"^^xsd:number

and someone else notes that and caches it somewhere, and then the first person "updates" the counter

Counter hasValue "3"^^xsd:number

and the second person notices this and adds it to their cache of RDF facts, then they have an inconsistency. Maybe hasvalue isnt functional after all? 

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 Thursday, 15 November 2012 05:51:56 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:52 GMT