- 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:57:17 UTC