Re: reification test case

>At 11:47 PM 2/3/02 +0100, jos.deroo.jd@belgium.agfa.com wrote:
>>  > We have to decide on Dan Brickley's equality test.  Does
>
>As Jos points out, I think the test case as stated does not isolate 
>the issue I think DanBri is trying to get at.  I think this would be 
>closer:
>
>Does:
>
>   ex:s1 <rdf:type>      <rdf:Statement> .
>   ex:s1 <rdf:subject>   <subject> .
>   ex:s1 <rdf:predicate> <predicate> .
>   ex:s1 <rdf:object>    <object> .
>
>   _:s2 <rdf:type>      <rdf:Statement> .
>   _:s2 <rdf:subject>   <subject> .
>   _:s2 <rdf:predicate> <predicate> .
>   _:s2 <rdf:object>    <object> .
>   _:s2 <property>      <SomePropertyValue> .
>
>entail:
>
>   ex:s1 <property>     <SomePropertyValue> .

No.

Pat
-- 
---------------------------------------------------------------------
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:44:18 UTC