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

Re: problem with rif:iri definition in DTB

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Mon, 18 May 2009 13:50:42 -0400
To: Axel Polleres <axel.polleres@deri.org>
Cc: RIF WG Public list <public-rif-wg@w3.org>
Message-ID: <20090518135042.632db329@kiferserv>


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.


-- 
    -- michael
Received on Monday, 18 May 2009 17:51:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT