- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Mon, 24 Sep 2001 09:26:14 +0100
- To: RDF Core <w3c-rdfcore-wg@w3.org>
At 12:10 PM 9/23/01 -0500, Aaron Swartz wrote: >14:59:35 <scribe-Aaron> BillD: I'd like a model theory bit for the primer >14:59:52 <scribe-Aaron> Pat: tried to find a web resource, but couldn't >find a good one... all too simple or too esoteric Oddly, I can see Pat's document becoming a very useful general introduction to model theory, with RDF as a sample language... it (RDF) has enough complexity to show what the MT brings to the party, but is simple enough to be easy to understand what is going on. Also, I think there's some background in Pat's old "Naive physics manifesto" papers that helps to motivate the necessity of mapping from language to some domain of discourse. (I offer this simply as observations from someone who has relatively recently gone through a learning process about MT principles.) Thus, rather than duplicating material in the MT document, maybe the primer material could be a short commentary on that document? #g ------------------------------------------------------------ Graham Klyne MIMEsweeper Group Strategic Research <http://www.mimesweeper.com> <Graham.Klyne@MIMEsweeper.com> ------------------------------------------------------------
Received on Monday, 24 September 2001 04:53:24 UTC