Re: Statements/Reified statements

Bill wrote:
>> 
>> : Bag <-type- A -rdf_1-> B           =        Bag <-type- A -rdf_1->
>> C
>> :               -rdf_2-> C                                  -rdf_2->
>> B
>> :
>> : It makes sense to ask whether some resource is a member of a bag.
>> Does it make sense
>> : to ask a resource, to be the "second" member of a bag?
>> 
> No. A bag has no natural ordering. Containers use this notation to
> identify members, it is a bit confusing but you get used to it. You
> can call this an "artefact" of the model/xml.
> 
> - -Bill de hÓra


Fine! That is: it doesn't make sense to "calculate" a URI from [A -rdf_1-> B] to get a 
"natural" reification for the intended statement [A -hasAsObject-> B] 


rs