W3C home > Mailing lists > Public > public-rdf-wg@w3.org > October 2013

editing fix to Semantics

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 30 Oct 2013 19:41:16 -0500
Message-Id: <F2031355-0FA7-4FA4-A0F6-3E7ACB35E21A@ihmc.us>
Cc: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
To: RDF Working Group <public-rdf-wg@w3.org>
A week or so ago, in response to the issue-156 comment, I changed the wording of the lemmas in section 5.3 to make all the 'entails' unambiguous. But I forgot to make the parallel changes in appendix C, where the proofs are stated. 

Fixed in the latest draft. 

Pat

------------------------------------------------------------
IHMC                                     (850)434 8903 home
40 South Alcaniz St.            (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile (preferred)
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Thursday, 31 October 2013 00:41:42 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:04:34 UTC