- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Thu, 13 Sep 2012 12:01:13 +0200
- 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 UTC