MadMode

@@Nov 2004 work on SPARQL testing

SPARQL defns in MathML, N3 mathmlRules.xsl, which converts a little bit of MathML to N3.

    <math xmlns="http://www.w3.org/1998/Math/MathML"> 
      <apply>
    <forall/> 
    <bvar> 
      <ci>x</ci> 
    </bvar>
    <apply>
      <implies/> 
      <apply><ci>Man</ci><ci>x</ci></apply>

      <apply><ci>Mortal</ci><ci>x</ci></apply>
    </apply>
      </apply> 
    </math>