xml-dev - Re: ANN: XSet an XML property set

[sam th <sam@uchicago.edu>]

On Thu, 3 Aug 2000, Jonathan Borden wrote:

> is a *very very* rough sketch of an XML property set describing the XML 1.O
> production rules in RDF. This property set, when completed, will define the
> XML grove in RDF.
> 
> Plan: 1) Complete the rest of the XML 1.0 productions
> 	2) Refine the production rule description language if necessary
> 	3) Incorporate XML namespace productions
> 	4) Define a language with which to subset XSet (current candidate XSLT)
> 
> Goals:
> 	1) To get it "right"
> 	2) to produce an subset (?XSLT "grove plan") which transforms XSet into the
> XML Infoset WG Appendix D, RDF Schema (i.e. define XML Infoset as a proper
> subset of XSet).
> 	3) To produce a subset defining SAX
> 	4) To produce subsets defining Common XML, SML
> 
> Help and comments are actively requested.

Attached are productions in XML for the PI productions (16 and 17).  I had
to invent some new syntax, since foo? had not yet been used, nor [a -
b].  Hope this is helpful.  
           
			     	sam th		     
			     	sam@uchicago.edu
				http://www.abisource.com/~sam/
<production name="PI" p="16">
  <seq>
    <c char="<"/><c char="?"/>
    <PITarget/>  
    <option>  
    <seq>
      <S />
      <exclude>          
        <from>
	  <Char repeat="*" />
	</from>
	<seq>
	  <Char repeat="*"/>
	  <c char="?"/><c char=">"/>
	  <Char repeat="*"/>	    
	 </seq>
       </exclude>
     </seq>
     </option>
     <c char="?"/><c char=">"/>
   </seq>
</production>
<production name="PITarget" p="17">
  <exclude>
    <from>
      <Name />
    </from>
    <char c="X">
    <char c="x">
    <char c="M">
    <char c="m">
    <char c="L">
    <char c="l">
  </exclude>
</production>