W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

Re: problem with rif:iri definition in DTB

From: Axel Polleres <axel.polleres@deri.org>
Date: Tue, 19 May 2009 16:41:53 +0100
Message-ID: <4A12D341.6040507@deri.org>
To: Chris Welty <cawelty@gmail.com>
CC: kifer@cs.sunysb.edu, RIF WG Public list <public-rif-wg@w3.org>
 > So I wouldn't agree to dropping that unless it is replaced with 

At the moment, I dropped it.
If there are replacement proposals, I am happy to include it.


Chris Welty wrote:
> Michael Kifer wrote:
>> On Mon, 18 May 2009 16:44:00 +0100
>> Axel Polleres <axel.polleres@deri.org> wrote:
>>> Michael Kifer wrote:
>>>> (This came up in Stella's report on FLD, but the problem is in DTB.)
>>>> There is a statement in DTB Sec 1.2.1:
>>>> * rif:iri (http://www.w3.org/2007/rif#iri, ... ... ... A rif:iri
>>>> constant must be interpreted as a reference to one and the same
>>>> object regardless of the context in which that constant occurs.
>>>> This last sentence is too informal. Worse, as far as I can see, it is
>>>> incompatible with first-order semantics. Obviously, no constant can
>>>> be interpreted by one and the same object in all possible worlds
>>>> (semantic structures) unless you impose restrictions, like we did for
>>>> data types. But I don't even think there is a reasonable set of
>>>> restrictions that is agreeable to everyone.
>>> Right, I don't remember when/why this was added, but I'd be fine to 
>>> drop that last sentence. Would that do?
>> Yes, let's drop it to avoid confusion.
> Personally, I do not have a strong opinion on this, but I do recall the 
> reason for the informal statement.  IRIs are not supposed to have an 
> interpretation that is context dependent - they are supposed to be 
> global identifiers.
> There is probably a better way to communicate that than the sentence 
> referenced in the spec, but something should still probably be said.  
> Just because IRIs can denote anything doesn't mean they can denote more 
> than one thing.
> So I wouldn't agree to dropping that unless it is replaced with something.
> -Chris

Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland, 
email: axel.polleres@deri.org  url: http://www.polleres.net/
Received on Tuesday, 19 May 2009 15:42:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:56 UTC