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

forest grammar/tree regular expression for RDF (fwd)

From: Dan Brickley <Daniel.Brickley@bristol.ac.uk>
Date: Fri, 22 Jun 2001 04:58:39 +0100 (BST)
To: w3c-rdfcore-wg@w3.org
Message-ID: <Pine.GSO.4.21.0106220457460.13030-100000@mail.ilrt.bris.ac.uk>


more info on Jonathon Borden's work regarding the formalisation of
RDF's XML syntax.

Dan (with RDFIG liaison hat on...)

---------- Forwarded message ----------
Date: Thu, 21 Jun 2001 21:17:27 -0400
From: Jonathan Borden <jborden@mediaone.net>
To: www-rdf-comments <www-rdf-comments@w3.org>
Cc: www-rdf-interest <www-rdf-interest@w3.org>
Subject: forest grammar/tree regular expression for RDF
Resent-Date: Thu, 21 Jun 2001 21:19:34 -0400 (EDT)
Resent-From: www-rdf-comments@w3.org

I hope the RDFCore WG will consider the forest grammar/tree regular
expression as a specification of the formal RDF XML syntax. The unordered
nature of RDF is best described as a forest grammar and this presents
difficulties for traditional XML schema languages such as DTDs.

I have specified this as a RELAXNG schema for RDF
http://www.openhealth.org/RDF/RDF1.rng in terms of solidifying the RDF XML
syntax under the issue:
http://www.w3.org/2000/03/rdf-tracking/#rdfms-formal-grammar

An advantage of specifying the grammar in this language is that it has a
good formal semantics which is based on the formal semantics of XDuce.
http://www.cis.upenn.edu/~hahosoya/xduce/ . Note that the XML Schema
formalism in http://www.w3.org/TR/xmlschema-formal appears to be based on
XDuce as well which is referenced.

Because I realize the politics around RELAXNG, I have converted this to the
language used by XDuce and by the XML Schema Formalism:
http://www.openhealth.org/RDF/RDFSyntaxFormal.

It is really quite simple.

Jonathan Borden
The Open Healthcare Group
http://www.openhealth.org
Received on Thursday, 21 June 2001 23:59:17 EDT

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