MathML as a rule interchange format
@@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>