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

Re: Strawman Model Theory

From: Graham Klyne <Graham.Klyne@Baltimore.com>
Date: Tue, 24 Jul 2001 07:11:16 +0100
Message-Id: <>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: rdf core <w3c-rdfcore-wg@w3.org>
Looks like a good start to me, modulo comments already raised.

I have a couple of questions/comments:

At 08:02 AM 7/23/01 +0100, Brian McBride wrote:
><s> <p> <o> .  is true in I if and only if:
>    s, o are members of U, p is a member of P

Isn't p also a member of U?  (And IN(p) a member of P.)

>    (IN(s), IN(o)) is a member of IEXT(I(P))

I would have exp[ectyed this to read:
    (IN(s), IN(o)) is a member of IEXT(IN(p))

><s> <p> "string" . is true in I if and only if:
>    s is a member of U, p is a member of P and string is a member of S
>    (IN(s), IS(string)) is a member of IEXT(I(p))

Similar comments.


I think it would be good to see this formally linked to the syntax of 
N-triples, but I guess that can come later.

I still have some thoughts about reification, but am happy to let that lie 
until the base elements are settled down.


Graham Klyne                    Baltimore Technologies
Strategic Research              Content Security Group
<Graham.Klyne@Baltimore.com>    <http://www.mimesweeper.com>
Received on Tuesday, 24 July 2001 02:49:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:02 UTC