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: <5.1.0.14.2.20011108185532.0350fec0@joy.songbird.com>
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;
>i.e.
>         _: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))

#g


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

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:42:34 EDT