RE: reification test case

> > We have to decide on Dan Brickley's equality test.  Does
> >
> > _:s1 <rdf:type>      <rdf:Statement> .
> > _:s1 <rdf:subject>   <subject> .
> > _:s1 <rdf:predicate> <predicate> .
> > _:s1 <rdf:object>    <object> .
> >
> > _:s2 <rdf:type>      <rdf:Statement> .
> > _:s2 <rdf:subject>   <subject> .
> > _:s2 <rdf:predicate> <predicate> .
> > _:s2 <rdf:object>    <object> .
> >
> > _:s1 <property>      "property" .
> >
> > entail:
> >
> > _:s2 <property>      "property" .
> >
> > Brian

No.

I have no clue what tiple(s)  _:s2 and _:s2 reify (I don't _know_ what
they reify, though I could _guess_). Saying yes to this example might
suggest that we can reasonably back-peddle from the reification to the
triple that the reification describes.

Bill

Received on Tuesday, 5 February 2002 05:51:17 UTC