W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2001

Re: Bags (was: closing semantic issues)

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Thu, 08 Nov 2001 19:03:04 +0000
Message-Id: <>
To: Dan Connolly <connolly@w3.org>
Cc: Pat Hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org
At 12:51 PM 11/8/01 -0600, Dan Connolly wrote:
>And I do think that each of the _:n properties is functional;
>         _:x rdf:_1 "abc".
>         _:x rdf:_1 "def".
>is a contradiction (is that in the model theory? subject/predicate/object
>are also functional).

I see no MT prohibition on:

     EXISTS(ix) :
       <ix,I("abc")>  in  IEXT(I(rdf:_1)) AND
       <ix,I("def")>  in  IEXT(I(rdf:_1))


Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
Received on Thursday, 8 November 2001 14:40:00 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:53 UTC