- From: Frank Manola <fmanola@mitre.org>
- Date: Fri, 20 Jul 2001 11:27:25 -0400
- To: RDF core WG <w3c-rdfcore-wg@w3.org>
I'd suggest looking at http://users.bestweb.net/~sowa/misc/mathw.htm#Model (which also contains a pointer to a useful paper by Taski). The DAML model theoretic semantics for which Graham posted the URL (http://www.daml.org/2001/03/model-theoretic-semantics.html) provides an immediate example. Plugging "model theoretic semantics" into Google provides a bunch of references as well, some of which are useful. [This stuff may not be very helpful, but it's more or less what I had in mind when I volunteered!] --Frank -- Frank Manola The MITRE Corporation 202 Burlington Road, MS A345 Bedford, MA 01730-1420 mailto:fmanola@mitre.org voice: 781-271-8147 FAX: 781-271-8752
Received on Friday, 20 July 2001 11:27:59 UTC