W3C home > Mailing lists > Public > www-math@w3.org > March 2005

Re: [XQueryX] reuse MathML Content Markup to represent XQuery in XQueryX

From: Frank Yung-Fong Tang <franktang@gmail.com>
Date: Tue, 8 Mar 2005 19:14:52 -0500
Message-ID: <2e4dfd69050308161451157c90@mail.gmail.com>
To: george mordilo <mordilo_k@yahoo.com>, www-math@w3.org, public-qt-comments@w3.org

>I'd be interested to examples of expected queries.
>Storing and querying math knowledge (be in MathML-content, in OpenMath,
>or in anything) has a little bit of history... not enormous... and
>expected examples would always be welcome.

I will try to convert my  C = A x B and G = E & F example into MathML
Content Markup later. I am not a guru of that, so it make take some
time....


On Tue, 8 Mar 2005 19:11:45 -0500, Frank Yung-Fong Tang
<franktang@gmail.com> wrote:
> George:
> 
> That is exactly what I ask :)
> 
> > Le 8 mars 05, à 22:40, Frank Yung-Fong Tang a écrit
> > :
> > > 2. Any one have experience of using XQuery with
> > MathML content markup?
> 
> Is XQuery powerful enough to query mathmatic information which markup
> by MathML Content Markup.
> 
> For example, if someone store two matrix (A - 3x5 and B- 5x4) by using
> MathML Content Markup. Is XQuery power enough to produce the output a
> 3x4 matrics C in MathML Content Markup that  C = A x B ?
> 
> How about predicate logic, If I have two element of content E and F
> E use MathML content Markup to express
> { (x) | -2 <= x <=3}
> and
> F use MathML content Markup to express
> { (y) | -4 <= y <=5}
> Is XQuery power enogh to perform a G = E & F
> to express a MathML content markup which express
> { (x, y) | ( -2 <= x <=3) && (-4 <= y <=5)}
> 
> ?
> 
> On Tue, 8 Mar 2005 23:36:09 +0000 (GMT), george mordilo
> <mordilo_k@yahoo.com> wrote:
> >
> >
> >  This discussion reminded me a similar problem but
> > perhaps the other way round.
> >
> >  Has anyone done any work on XPath or XQuery for
> > quering MathML (or OpenMath for that matter)
> > expressions.
> >
> >  For example, we are interested in simplifying, easing
> > such queries to have a pattern matching-like mechanism
> > where one could match expressions to check for
> > instance  similarities in "mathematical form".
> >
> >   Any thoughts ... examples ?
> >
> > George
> >
> >
> > --- Paul Libbrecht <paul@activemath.org> wrote:
> > >
> > > I'd be interested to examples of expected queries.
> > > Storing and querying math knowledge (be in
> > > MathML-content, in OpenMath,
> > > or in anything) has a little bit of history... not
> > > enormous... and
> > > expected examples would always be welcome.
> > >
> > > paul
> > >
> > >
> > > Le 8 mars 05, à 22:40, Frank Yung-Fong Tang a écrit
> > > :
> > > > 2. Any one have experience of using XQuery with
> > > MathML content markup?
> > >
> > >
> > >
> >
> > Send instant messages to your online friends http://uk.messenger.yahoo.com
> >
> >
> 
> --
> Frank Yung-Fong Tang
> 譚永鋒
> Šýšţém Årçĥîţéçţ
> 


-- 
Frank Yung-Fong Tang
譚永鋒
Šýšţém Årçĥîţéçţ
Received on Wednesday, 9 March 2005 00:15:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:57 GMT