Re: updated strawman model theory

On Thu, Jul 26, 2001 at 08:38:05AM -0500, Dan Connolly wrote:
> 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

Seems like it would be a rather significant change to:

 http://www.w3.org/TR/REC-rdf-syntax/#model

if subjects and predicates could be literals.

Art
---

Received on Thursday, 26 July 2001 14:44:00 UTC