third version of semantics document

The promised rewrite of the semantics document is at

http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-D.html

Y'all may be pleased to know that I have removed the Great Horns. 
Also, just after finishing this it occurred to me how to simplify it 
somewhat and make the technique more general (and more like a genuine 
Herbrand universe), but that will have to wait a few days until I 
finish some other things.

Comments welcome.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Tuesday, 27 August 2002 21:01:23 UTC