xml-dev - Re: groves vs. Groves was: Re: Why the Infoset?

[Jonathan Borden <jborden@mediaone.net>]

John Cowan wrote:

> Jonathan Borden wrote:
>
> > Let me rephrase your objection: You are (correctly) objecting to the
> > development of an XML grove plan (XML Infoset) in the absense of the
> > specification of the XML property set.
>
> If anyone thinks that an XML property set distinct from the ISO SGML
Property
> Set ought to exist, I most heartily urge him to put his money (and time,
and blood,
> and sweat) where his mouth is.  "Take my job....please!"

Let's not make an assumption about the difficulty of writing a (little "p")
property set for XML. For example (this is a quick cruft ... I'll be more
than happy to provide a more complete version by mid-September if you will
accept this as an Appendix). Note the production rules are directly from XML
1.0.

<rdf:RDF xmlns:rdf="..">
<rdf:Description
  rdf:about="rdf:about="http://www.w3.org/TR/REC-xml"
  xmlns="http://www.openhealth.org/property-set-production-language"
>
<productions>
<production name="document" p="1">
 <prolog />
 <element />
 <Misc repeat="*"/>
</production>
<production name="characters" p="2">
 <alt>
    <c char="9" /><c char="A" /><c char="D" />
   <range start="20" end="D7FF" />
   <range start="E000" end="FFFD" />
  <range start="10000" end="10FFFF" />
 </alt>
</production>
<production name="S" p="3">
 <alt repeat="+">
 <c char="20" /><c char="9" />
 <c char="D" /><c char="A" />
 </alt>
</production>
<production>
</production>
<production name="prolog" p="22">
 <XMLDecl />
 <Misc repeat="*"/>
 <seq>
   <doctypedecl /><Misc repeat="*"/>
 </seq>
</production>
<production name="element" p="39">
 <alt>
  <EmptyElemTag />
  <seq WFC="Element_Type_Match" VC="Element_Valid">
   <STag /><content /><ETag />
  </seq>
 </alt>
</production>
<production name="Misc" p="27">
 <alt><Comment /><PI /><S /></alt>
</production>
</productions>
<constraints>
 <WFC
     name="Element_Type_Match"
     test="STag/Name = ETag/Name"/>
</constraints>
</rdf:Description>
</rdf:RDF>

Jonathan Borden
The Open Healthcare Group
http://www.openhealth.org