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

Re: entailments between datasets

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Date: Thu, 13 Sep 2012 12:01:13 +0200
Message-ID: <5051AEE9.9040706@emse.fr>
To: Pat Hayes <phayes@ihmc.us>
CC: RDF WG <public-rdf-wg@w3.org>
We are using TriG syntax, which does not require an enclosing curly 
bracket around the whole dataset. If we were to use more abstract 
notations, that would rather look like this:

{ {(:g1,owl:sameAs,:g2)}, <:g1,{(:s,:p:o)}> }

entails:

{ {(:g1,owl:sameAs,:g2)}, <:g1,{(:s,:p,:o)}>, <:g2,{(:s,:p,:o)}> }

I think we lose in clarity.


Le 13/09/2012 07:13, Pat Hayes a écrit :
> Your notation doesnt make it clear how different datasets interact.  Suggest that you enclose all the graphs/pairs in a single dataset inside an enclosing pair of parentheses. Then for example T11.2 has several ways to be cashed out:
>
> { { :g1 owl:sameAs :g2 }
> :g1 { :s :p :o } }
>
> entails
>
> {{ :g1 owl:sameAs :g2 }
> :g1 { :s :p :o }
> :g2 { :s :p :o } }
>
> But also
>
> ({ :g1 owl:sameAs :g2 })
>
> { :g1 { :s :p :o } }
>
> together entail
>
> { :g2 { :s :p :o } }
>
> And also (similar but with a graph instead of a trivial dataset)
>
>   :g1 owl:sameAs :g2
>
> { :g1 { :s :p :o } }
>
> together entail
>
> { :g2 { :s :p :o } }
>
> BTW, in general,
>
> :a :p :b
>
> is equivalent to
>
> {{ :a :p :b }}
>
> Pat
>
>
> ------------------------------------------------------------
> 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 Thursday, 13 September 2012 10:01:46 GMT

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