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

Re: Re-wording the semantics

From: Pat Hayes <phayes@ihmc.us>
Date: Thu, 13 Sep 2012 22:35:14 -0500
Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, RDF Working Group <public-rdf-wg@w3.org>
Message-Id: <B14B4737-B7EA-47A2-9844-C121604B81A7@ihmc.us>
To: Richard Cyganiak <richard@cyganiak.de>

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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:51 GMT