- From: pat hayes <phayes@ai.uwf.edu>
- Date: Thu, 26 Jul 2001 13:54:39 -0700
- 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) phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Thursday, 26 July 2001 16:54:30 UTC