W3C home > Mailing lists > Public > public-rdf-wg@w3.org > September 2012

Re: entailments between datasets

From: Pat Hayes <phayes@ihmc.us>
Date: Fri, 14 Sep 2012 00:34:27 -0500
Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, RDF WG <public-rdf-wg@w3.org>
Message-Id: <7C52102F-C31A-45F1-BD2C-32E55EB53C81@ihmc.us>
To: Richard Cyganiak <richard@cyganiak.de>

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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:51 GMT