- From: Richard Cyganiak <richard@cyganiak.de>
- Date: Thu, 13 Sep 2012 13:52:27 +0100
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, RDF Working Group <public-rdf-wg@w3.org>
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. Best, Richard
Received on Thursday, 13 September 2012 12:52:55 UTC