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

Yes
(confirmed with Euler)

the _:s2 in the entailed graph
could have been any _:label

actually I see that already

  _:s1 <property>      "property" .

entails

  _:s2 <property>      "property" .

so I don't see the point of reification

--
Jos

Received on Sunday, 3 February 2002 17:52:09 UTC