Re: model theory publication draft

>  >
>>  The only really new part is the discussion of entailment in RDFS 
>>in section 5.
>
>I like the way it's written... especially since
>it specifies RDFS using a table that is *almost* a list
>of horn-logic rules ;-)

Yes, that thought did occur to me as well :-)

BTW, the Version links were broken, and I didn't know what they 
should be, so I made them *really* broken by ending them in '???'. 
The rest are now OK.  I also fixed the meta tags so it passes the W3C 
validator, and I earned a .gif merit badge. (The CSS validator seems 
to be down.)


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, 18 September 2001 19:46:53 UTC