- 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