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

semantics tweaks

From: pat hayes <phayes@ihmc.us>
Date: Thu, 31 Jul 2003 22:58:43 -0500
Message-Id: <p06001a64bb4f9433068a@[]>
To: w3c-rdfcore-wg@w3.org

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


In another thread I have made a suggestion for terminating the XML 
literal identity debates.

IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Thursday, 31 July 2003 23:58:45 EDT

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