- From: Frank Yung-Fong Tang <franktang@gmail.com>
- Date: Tue, 8 Mar 2005 19:14:52 -0500
- 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 UTC