- From: Dan Brickley <Daniel.Brickley@bristol.ac.uk>
- Date: Fri, 22 Jun 2001 04:58:39 +0100 (BST)
- To: w3c-rdfcore-wg@w3.org
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 UTC