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@[10.0.100.23]>
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

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
-- 
---------------------------------------------------------------------
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