- From: Pat Hayes <phayes@ihmc.us>
- Date: Thu, 13 Sep 2012 22:35:14 -0500
- To: Richard Cyganiak <richard@cyganiak.de>
- Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, RDF Working Group <public-rdf-wg@w3.org>
On Sep 13, 2012, at 7:52 AM, Richard Cyganiak wrote: > Pat, > > On 13 Sep 2012, at 05:55, Pat Hayes wrote: >> A E-entails B when for every E-ds-interpretation which makes A true also makes B true. >> A is E-equivalent to B when A E-entails B and B E-entails A. >> A is an E-contradiction when A is false in every E-interpretation. > > I've added those definitions to 2.1. But please note that the test cases section is not intended to become spec text. It's just a tool for the WG to help us understand the semantics. Fair enough, but it sometimes helps to have definitions be precise, especially when they are standard :-) Any response to the other change suggestion? Pat > > Best, > Richard > ------------------------------------------------------------ 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 Friday, 14 September 2012 03:35:48 UTC