W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2002

third version of semantics document

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 27 Aug 2002 18:02:14 -0700
Message-Id: <p05111b03b991d0c0c6fc@[]>
To: www-webont-wg@w3.org

The promised rewrite of the semantics document is at


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.


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Tuesday, 27 August 2002 21:01:23 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:33 UTC