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

entailments between datasets

From: Pat Hayes <phayes@ihmc.us>
Date: Thu, 13 Sep 2012 00:13:23 -0500
Message-Id: <745B72CD-D4A8-4CE9-9454-8FC6FA5A229B@ihmc.us>
Cc: RDF Working Group <public-rdf-wg@w3.org>
To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
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 GMT

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