Re: entailments between datasets

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.


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/

Received on Friday, 14 September 2012 12:15:55 UTC