Re: from 2 elements to 1

Discussion in 'XML' started by Dimitre Novatchev, Jul 13, 2003.

  1. Can you describe what the transformation is supposed to do and provide the
    simplest, minimal example?


    =====
    Cheers,

    Dimitre Novatchev.
    http://fxsl.sourceforge.net/ -- the home of FXSL


    "Will Stuyvesant" <> wrote in message
    news:...
    > We are trying to develop something like a theorem prover, using MathML
    > as vocabulary. We are still looking for the best techniques, and maybe
    > XSLT is usable. Maybe other people are doing something similar
    > already?
    >
    > If you know MathML, here is an example of the kind of problems we
    > encounter, the "assumption" and "conjecture" tags are new, their
    > meaning is "formulas considered true" and "formulas that need proof".
    >
    > I have these elements:
    >
    > <assumption>
    > <true/>
    > </assumption>
    > <conjecture>
    > <apply>
    > <implies/>
    > <apply>
    > <and/>
    > <apply>
    > <implies/>
    > <ci>p</ci>
    > <ci>q</ci>
    > </apply>
    > <apply>
    > <implies/>
    > <ci>r</ci>
    > <ci>s</ci>
    > </apply>
    > </apply>
    > <apply>
    > <implies/>
    > <apply>
    > <and/>
    > <ci>p</ci>
    > <ci>r</ci>
    > </apply>
    > <apply>
    > <and/>
    > <ci>q</ci>
    > <ci>s</ci>
    > </apply>
    > </apply>
    > </apply>
    > </conjecture>
    >
    > How do I transform it to:
    >
    > <assumption>
    > <apply>
    > <and/>
    > <true/>
    > <apply>
    > <implies/>
    > <apply>
    > <and/>
    > <apply>
    > <implies/>
    > <ci>p</ci>
    > <ci>q</ci>
    > </apply>
    > <apply>
    > <implies/>
    > <ci>r</ci>
    > <ci>s</ci>
    > </apply>
    > </apply>
    > </apply>
    > </apply>
    > </assumption>
    > <conjecture>
    > <apply>
    > <apply>
    > <implies/>
    > <apply>
    > <and/>
    > <ci>p</ci>
    > <ci>r</ci>
    > </apply>
    > <apply>
    > <and/>
    > <ci>q</ci>
    > <ci>s</ci>
    > </apply>
    > </apply>
    > </apply>
    > </conjecture>
    >
    > with XSLT?
     
    Dimitre Novatchev, Jul 13, 2003
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Wolfgang Lipp
    Replies:
    1
    Views:
    407
    Patrick TJ McPhee
    Jan 30, 2004
  2. Wolfgang Lipp
    Replies:
    0
    Views:
    485
    Wolfgang Lipp
    Jan 28, 2004
  3. Jyrki Keisala

    Elements within elements

    Jyrki Keisala, Jun 8, 2005, in forum: XML
    Replies:
    5
    Views:
    432
    William Park
    Jun 15, 2005
  4. Billy
    Replies:
    4
    Views:
    355
    Billy
    Sep 12, 2005
  5. Gerald Aichholzer
    Replies:
    2
    Views:
    2,522
    Gerald Aichholzer
    Jun 27, 2006
Loading...

Share This Page