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

Re: updated strawman model theory

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 26 Jul 2001 13:54:39 -0700
Message-Id: <v04210109b78633916b92@[]>
To: Art Barstow <barstow@w3.org>
Cc: rdf core <w3c-rdfcore-wg@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:
> http://www.w3.org/2001/sw/RDFCore/ntriples/#predicate
>is that it does does not allow a predicate to be a annon node.
>Is the intent to change this in the model theory?

The revised MT allows this, but if the syntax excludes it, the model 
theory will not complain. However, it does suggest that there is no 
pressing need to exclude it, at least on semantic grounds.

Pat Hayes

(650)859 6569 w
(650)494 3973 h (until September)
Received on Thursday, 26 July 2001 16:54:30 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:50 UTC