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

Re: reification test case

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Mon, 4 Feb 2002 18:39:11 -0600
Message-Id: <p0510140db884d98be61a@[65.212.118.208]>
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org
>  > 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

There's something wrong with Euler, then.  It isn't valid to go from

<some huge graph with _:s1 in it>
<an exactly similar graph with _:s2 substituted for _:s1>
_:s1 foo baz

to
_:s2 foo baz.

no matter what is in the huge graph.

Pat


>--
>Jos


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Monday, 4 February 2002 19:38:38 EST

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