RE: reification test case

On Mon, 2002-02-04 at 07:12, Jeremy Carroll wrote:
> My vote: no.

I vote yes.

This is what "triple" means, after all, no?
if x=xx, y=yy, z=zz, then (x,y,z)=(xx,yy,zz), no?


| There is a set called Statements, each element of which is a
| triple of the form
|
| {pred, sub, obj}
  -- http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/#model

If we're not going to take the implications of reification
seriously, let's just throw it out.


> > -----Original Message-----
> > Does
> > >  <stmt1> <rdf:type>      <rdf:Statement> .
> > >  <stmt1> <rdf:subject>   <subject> .
> > >  <stmt1> <rdf:predicate> <predicate> .
> > >  <stmt1> <rdf:object>    <object> .
> > >
> > >  <stmt2> <rdf:type>      <rdf:Statement> .
> > >  <stmt2> <rdf:subject>   <subject> .
> > >  <stmt2> <rdf:predicate> <predicate> .
> > >  <stmt2> <rdf:object>    <object> .
> > >
> > >  <stmt1> <property>      <foo> .
> > >
> > >  entail:
> > >
> > >  <stmt2> <property>      <foo> .
> > 
> > 
> > Brian

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Monday, 4 February 2002 10:24:55 UTC