W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2001

action: some references to model theory

From: Frank Manola <fmanola@mitre.org>
Date: Fri, 20 Jul 2001 11:27:25 -0400
Message-ID: <3B584DDC.3F79D2F9@mitre.org>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:38:13 EDT