Re: updated strawman model theory

>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