- From: Graham Klyne <Graham.Klyne@Baltimore.com>
- Date: Tue, 24 Jul 2001 07:11:16 +0100
- 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.
#g
------------------------------------------------------------
Graham Klyne Baltimore Technologies
Strategic Research Content Security Group
<Graham.Klyne@Baltimore.com> <http://www.mimesweeper.com>
<http://www.baltimore.com>
------------------------------------------------------------
Received on Tuesday, 24 July 2001 02:49:32 UTC