Re: summary of reification?

At 06:56 PM 2/6/02 +0000, Brian McBride wrote:
>To my simple mind it boils down to a choice.  Does a reified statement 
>represent a statement or a stating (an occurrence of a statement in a graph).
>
>The formal model part of M&S is clear that its a statement.

Just for the record, I disagree that M&S is clear about this.

>Please lets stay out of the rat holes, choose and move on.

So yes, let's choose -- I feel no M&S precedent for either option.

I think you said the right question before:

>We have to decide on Dan Brickley's equality test.  Does
>
>>  <stmt1> <rdf:type>      <rdf:Statement> .
>>  <stmt1> <rdf:subject>   <subject> .
>>  <stmt1> <rdf:predicate> <predicate> .
>>  <stmt1> <rdf:object>    <object> .
>>
>>  <stmt2> <rdf:type>      <rdf:Statement> .
>>  <stmt2> <rdf:subject>   <subject> .
>>  <stmt2> <rdf:predicate> <predicate> .
>>  <stmt2> <rdf:object>    <object> .
>>
>>  <stmt1> <property>      <foo> .
>>
>>  entail:
>>
>>  <stmt2> <property>      <foo> .

And I think the answer is "no".

#g



------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>

Received on Wednesday, 6 February 2002 15:30:10 UTC