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.


Terry Hardgrave

Received on Thursday, 16 June 2005 14:55:34 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:05 UTC