Re: entailments between datasets

On Sep 13, 2012, at 7:02 AM, Richard Cyganiak wrote:

> On 13 Sep 2012, at 11:01, Antoine Zimmermann wrote:
>> We are using TriG syntax, which does not require an enclosing curly bracket around the whole dataset.
> 
> Right. And in http://www.w3.org/2011/rdf-wg/wiki/TF-Graphs/Minimal-dataset-semantics , the layout (shaded background with dashed box around it) makes clear where one dataset stops and the next begins.

Well, that was not at all clear to me, and it is not stated anywhere. In general, using layout to indicate meaning is confusing. I still think it would be good to have some unambiguous way to indicate the edge of a dataset. 

Pat


> 
>>> BTW, in general,
>>> 
>>> :a :p :b
>>> 
>>> is equivalent to
>>> 
>>> {{ :a :p :b }}
> 
> Right. T1.1 already said that the dataset entails the graph. I've changed this, now it says they are equivalent.
> 
> Richard
> 

------------------------------------------------------------
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 Friday, 14 September 2012 05:35:07 UTC