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

Re: action: some references to model theory

From: Dan Connolly <connolly@w3.org>
Date: Fri, 27 Jul 2001 07:55:08 -0500
Message-ID: <3B6164AC.110CDFBB@w3.org>
To: Graham Klyne <Graham.Klyne@Baltimore.com>
CC: RDF core WG <w3c-rdfcore-wg@w3.org>
Graham Klyne wrote:
> 
> I'll add to this a reference book from which I recently got my basic
> understanding of the relationship between logic, syntax, model theoretic
> semantics and proof theory:

For me it was this front-side-of-one-page web page, derived from a book:

% Formal Systems - Definitions
% (from Ruth E. Davis, Truth, Deduction, and Computation.
% New York: Computer Science press, 1989.)
%
http://www-rci.rutgers.edu/~cfs/305_html/Deduction/FormalSystemDefs.html
% (c) Charles F. Schmidt
% Last Modified: Saturday, May 08, 1999 9:07:08 PM GMT

which I was able (I think) to transcribe into larch:
  http://www.w3.org/XML/9711theory/FormalSystem.lsl
  $Id: FormalSystem.lsl,v 1.3 2000/10/31 22:26:31 connolly Exp $

I have since used that knowledge to draft a model theory
for RDF:

  http://www.w3.org/XML/9711theory/RDFSemantics.lsl
  $Id: RDFSemantics.lsl,v 1.2 2001/03/30 18:42:44 connolly Exp $

to go along with an Abstract Syntax:

  http://www.w3.org/XML/9711theory/RDFAbSyn.lsl
  $Id: RDFAbSyn.lsl,v 1.5 2001/03/30 18:42:44 connolly Exp $

I intend to update RDFAbsyn.lsl and RDFSemantics.lsl w.r.t.
recent work of this group, but I haven't gotten around to it yet.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 27 July 2001 08:55:38 EDT

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