- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Thu, 08 Nov 2001 19:03:04 +0000
- 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 UTC