- From: Pat Hayes <phayes@ihmc.us>
- Date: Thu, 13 Sep 2012 00:13:23 -0500
- To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Cc: RDF Working Group <public-rdf-wg@w3.org>
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
Received on Thursday, 13 September 2012 05:13:57 UTC