W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2003

Re: semantics tweaks

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Wed, 06 Aug 2003 15:35:54 +0100
Message-ID: <3F31124A.7020609@hplb.hpl.hp.com>
To: pat hayes <phayes@ihmc.us>
CC: w3c-rdfcore-wg@w3.org

copied to shadow TR space.  Sorry for delay - network problems in HP.

Brian

pat hayes wrote:
> 
> I have put in protective text after Peter noticed that it is possible to 
> have an inconsistency in RDFS (using range and XMLliteral). This is 
> noted in section 4 (end), with the example; the possibility of a trivial 
> entailment is noted in 4.3, a clause noting this case is added to 
> section 5; and the statement of the rdfs entailment lemma in 7.3 is now 
> restricted to the consistent case.
> 
> New version with these changes, dated 31 July, now at
> 
> http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html
> 
> In another thread I have made a suggestion for terminating the XML 
> literal identity debates.
> 
> Pat
Received on Wednesday, 6 August 2003 10:37:23 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:59:34 EDT