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

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 UTC