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

Re: Re-wording the semantics

From: Richard Cyganiak <richard@cyganiak.de>
Date: Thu, 13 Sep 2012 13:52:27 +0100
Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, RDF Working Group <public-rdf-wg@w3.org>
Message-Id: <397FF733-E2B1-474B-8635-8028E38DEC03@cyganiak.de>
To: Pat Hayes <phayes@ihmc.us>

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.

Received on Thursday, 13 September 2012 12:52:55 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:07 UTC