LC2 (or whatever) semantics ready for pub

The document now at

http://www.ihmc.us/users/phayes/RDF_Semantics_LC2.1.html

dated sept 30 is now as post-PFPS as I think it will ever get, 
post-Horst, post-SomethingReasonableforDanC, and passes the W3C 
validators (apart from the @@s in the header). It still has the 
first-LC-dates in the references, though.

Now Im going to bed.

Pat

PS. Y'all might want to glance at the general neighborhood of

http://www.ihmc.us/users/phayes/RDF_Semantics_LC2.1.html#rules
and
http://www.ihmc.us/users/phayes/RDF_Semantics_LC2.1.html#interplemmaprf

and the glossary entires for Complete and Decideable.

-- 
---------------------------------------------------------------------
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, 30 September 2003 21:17:26 UTC