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

Re: updated strawman model theory

From: Art Barstow <barstow@w3.org>
Date: Thu, 26 Jul 2001 08:02:28 -0400
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: rdf core <w3c-rdfcore-wg@w3.org>
Message-ID: <20010726080228.A29780@w3.org>
On Tue, Jul 24, 2001 at 05:38:20PM +0100, Brian McBride wrote:

> <s> _:name <o> is true in I under substitution SUBST if and only if:
>   s and o are members of U, SUBST(_:name) is a member of P and
>   (IN(s), IN(o)) is a member of IEXT(SUBST(_:name))

My take on the current definition of predicate in:


is that it does does not allow a predicate to be a annon node.
Is the intent to change this in the model theory?

Received on Thursday, 26 July 2001 08:03:31 UTC

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