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

semantics editors draft

From: pat hayes <phayes@ihmc.us>
Date: Tue, 1 Jul 2003 21:13:35 -0500
Message-Id: <p06001206bb27ee8302ac@[]>
To: w3c-rdfcore-wg@w3.org


now embodies the weakened RDF semantic conditions we decided on last 
Friday and has complete sets of entailment (nee 'closure') rules plus 
proofs of the various lemmas. It also has a lot more internal links 
from technical vocabulary to definitions, and passes the W3C 
validators. .

There is still one issue that we may need to discuss, concerning the 
status of 'strings'. I have linked to the relevant pieces of text in 
the change list notes. Apart from this, and obvious finishing-off 
edits such as getting the title right and suppressing all the red 
highlighting (redefine 'newstuff' in the header), I think this is now 
ready to go.


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 Tuesday, 1 July 2003 22:13:38 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:23 UTC