Re: RDF-ISSUE-140 (dataset-comparison): RDF Dataset Comparison (Ivan Herman) [RDF Concepts]

On Aug 9, 2013, at 12:24 AM, Markus Lanthaler wrote:

> On Friday, August 09, 2013 12:20 AM, Gavin Carothers wrote:
>> For clarity
>> 
>> {
>>  {
>>    _:y rdf:type ex:graphsIlike .
>>  }
>>  _:y {
>>    ex:a ex:b ex:c}
>>  }
>> }
>> ########
>> 
>> {
>>  {
>>    _:x rdf:type ex:graphsIlike .
>>  }
>>  _:x {
>>    ex:a ex:b ex:c}
>>  }
>> }
>> 
>> MUST be isomorphic if we expect to have test cases for parsing
>> datasets.
> 
> Gavin, could you please explain ... why the first dataset isn't isomorphic to
> 
> {
>  {
>    _:y rdf:type ex:graphsIlike .
>  }
>  _:x {
>    ex:a ex:b ex:c}
>  }
> }
> 

The scope of bnode IDs is the entire dataset, because they can be shared between graphs in a dataset. So the first one of these has one bnode in it, and the second has two bnodes in it. Not isomorphic. 

Pat

> 
> Thanks,
> Markus
> 
> 
> --
> Markus Lanthaler
> @markuslanthaler
> 
> 
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Saturday, 10 August 2013 14:50:53 UTC