[SCL] logic on the Web: readings

[pat hayes]

Guys, here are a couple of recent documents which give a good flavor 
of the kind of Web-based applications of simple logical reasoning 
which people are building. I think it might be useful if everyone 
took a quick look at them, as they show how issues which have 
traditionally seemed central (such as between syntactic constraints 
and semantic assertions) often seem to fade into the background, and 
other issues which have been totally invisible in traditional logical 
discussions (such as the importance of translations between various 
syntactic forms, and of the ubiquity of global naming conventions 
such as URIs) become centrally important.

Pat
-----
http://www.w3.org/TR/owl-guide/#Usage
http://www.w3.org/2000/10/swap/doc/tutorial-1.pdf  particularly sections 8 ,9
http://www.w3.org/2000/10/swap/doc/appendix.pdf
-- 
---------------------------------------------------------------------
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 at ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam at ai.uwf.edu   for spam