Re: entailments between datasets

On Sep 14, 2012, at 7:15 AM, Antoine Zimmermann wrote:

> 
> 
> Le 14/09/2012 07:34, Pat Hayes a écrit :
>> 
>> 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.
> 
> 
> Section 2.2 of the wiki page explains the notation.

That section does not say how to notate two or more datasets. Does a blank line indicate a division between datasets, for example? So that 

{:a :b :c}
:g {:d :e :f}

is one dataset but

{:a :b :c}

:g {:d :e :f}

is two datasets? That would work. Or having each dataset's graphs displayed offset three spaces to the right and enclosed in a green box. Or putting braces around each dataset. All of these, and others, would work, but we need some way to indicate this, preferably one that is easy to type in an email, in order to be able to talk about entailments. 

Pat


> 
> 
> AZ.
> 
>> 
>> 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
>> 
>> 
>> 
>> 
>> 
>> 
>> 
> 
> -- 
> Antoine Zimmermann
> ISCOD / LSTI - Institut Henri Fayol
> École Nationale Supérieure des Mines de Saint-Étienne
> 158 cours Fauriel
> 42023 Saint-Étienne Cedex 2
> France
> Tél:+33(0)4 77 42 66 03
> Fax:+33(0)4 77 42 66 66
> http://zimmer.aprilfoolsreview.com/
> 
> 

------------------------------------------------------------
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 15:16:29 UTC