Re: PROV-ISSUE-89 (what-entity-attributes): How do we find the attributes of an entity? [Formal Model]

On 09/09/2011 14:32, Stian Soiland-Reyes wrote:
> :e3 a prov:Entity ;
>    prov:wasCharacterisedBy [
>       car:company "Toyota" ;
>       car:model "Corolla" ;
>       car:identification "1a" ;
>       car:owner [
>         foaf:name "Luc Moreau" ;
>         foaf:based_near "Southampton"
>       ]
>    ] .
>
> However this causes problems the moment you want to use URIs. If you
> said simply
>    car:owner<http://id.ecs.soton.ac.uk/person/391>
> then we can't say anything more about
> <http://id.ecs.soton.ac.uk/person/391>  within this 'was characterised
> by'.

Stian,

I'm not seeing your problem - you can still say, e.g.

[[
:e3 a prov:Entity ;
   prov:wasCharacterisedBy [
      car:company "Toyota" ;
      car:model "Corolla" ;
      car:identification "1a" ;
      car:owner <http://id.ecs.soton.ac.uk/person/391>
   ] .

<http://id.ecs.soton.ac.uk/person/391>
        foaf:name "Luc Moreau" ;
        foaf:based_near "Southampton" .
]]


That is, the [ ... ] isn't a scoping or grouping mechanism but a syntactic sugar 
for:

[[
:e3 a prov:Entity ;
   prov:wasCharacterisedBy _:b1 .

_:b1 car:company "Toyota" ;
      car:model "Corolla" ;
      car:identification "1a" ;
      car:owner _:b2 .

_:b2   foaf:name "Luc Moreau" ;
        foaf:based_near "Southampton" .
]]

Using this form, replacing blank nodes with URIs makes no structural difference 
to the overall shape of the RDF.

#g
--