semantics and lbase docs

There are to-go-versions of my docs now at (same URLs as before)

  http://www.ihmc.us/users/phayes/RDF_Semant_2LC-pp.html
  http://www.ihmc.us/users/phayes/Lbase_September.html

These have edits made in response to recent points raised by Peter, 
most notably some of the proofs are rewritten and there are some 
quick fixes to the Lbase treatment of strings and 'peculiar' names, 
such as names starting with '(' or including whitespace.

This version has the rdfD4 rule removed and a consistency comment 
added in its place.; that seems consistent with the majority view on 
how best to handle this.

I can't do any more to these before Wednesday.

For some reason, the pubrules checker thinks that there is something 
wrong with the boilerplate, but it seems to have all the links and 
things that the checker says are missing, all cut-and-pasted from 
docs that the checker was OK with. The other filters are OK.

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 Wednesday, 3 September 2003 05:29:53 UTC