Re: rdf semantics and timelessly true

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 UTC