- From: pat hayes <phayes@ai.uwf.edu>
- Date: Thu, 26 Jul 2001 13:58:33 -0700
- To: Dan Connolly <connolly@w3.org>
- Cc: w3c-rdfcore-wg@w3.org
>Art Barstow wrote: > > > > 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. > >Whoa! where did that come from? > >Please change that back to > >triple ::= term ws+ term ws+ term ws* '.' ws* >term ::= uriref | namedNode | literal > > > > Is the intent to change this in the model theory? > >I expect the model theory to cover the case >of any sort of term used in any of the three places. The only case the straw-dog doesnt cover right now is the use of a literal as a predicate. This would be OK if the EXT mapping were extended to the set LV of literal values, but I didnt know if that was considered legitimate. If people are happy with this, it's easy to make the modification. I await input. Pat PS. It also easy to have only some literal values be predicatable, as long as we can characterize the relevant subset. --------------------------------------------------------------------- (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:58:24 UTC