W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

Re: reification test case

From: <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 3 Feb 2002 23:47:12 +0100
To: brian_mcbride@hp.com
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF7660B2C4.52CF0D08-ONC1256B55.007C118F@bayer-ag.com>

> 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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:02 EDT