entailments between datasets

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