semantics tweaks

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 UTC