W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2005

Formal Semantics of RDF

From: Hardgrave, Terry \(Contractor\) <Terry.Hardgrave@ed.gov>
Date: Thu, 16 Jun 2005 10:55:20 -0400
Message-ID: <0C05326017A779439EB52BFBCEA008DE06DA0723@wdcrobe2m03.ed.gov>
To: <www-rdf-comments@w3.org>


RDF Team--

My suggestion is that you base the formal semantics of RDF on
the work of Chris Strachey, Dana Scott, etc.  --  i.e. on "denotational semantics" and set theory--
rather than on model-theory/graph-theory.  The primary reason is that graph theory
will not (easily) support Boolean query languages on the structures.  To support the semantics
of Boolean query languages, you need to use set-theory directly.

Chris Strachey developed something based on triples years ago, but I have not been able to
find the reference to it.  I would need to ask some of my colleagues to hunt it down.

Here is one reference.  If you are interested in pursuing this further, please let me know, and
I will provide additional references.

http://vmoc.museophile.com/pioneers/strachey.html


Thanks,
Terry Hardgrave

terry.hardgrave@ed.gov
terry.hardgrave@pearson.com
Received on Thursday, 16 June 2005 14:55:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:34 GMT