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

Re: Evaluating Content MathML

From: Roman Sachse <sarom@web.de>
Date: Fri, 02 Mar 2007 12:00:33 +0100
Message-ID: <45E803D1.4080807@web.de>
To: Andrew Miller <ak.miller@auckland.ac.nz>
CC: paul@activemath.org, www-math@w3.org

Hello again,

First of all, thanks for all the answers. I will have a look at the 
software proposed by you, especially CellML looks promising.

Andrew Miller wrote:
> I'm not sure what sort of evaluation you expect, but both PCEnv and COR 
> can integrate systems of ordinary differential equations[snip] 
Paul Libbrecht wrote:
 > You haven't been very clear about your intent of processing
 > MathML-content... why is a general XML library not appropriate for you ?
 > E.g. DOM, StAX, JDOM ?
 > At least to instantiate variables this is what I'd use.
Just to make it clear, here is what I am doing at the moment.

I am working on my Bachelors Thesis on storing characteristics 
(mathematical formulas), containing several parameters as variables, in 
an ontology. To instantiate the variable the parameters (real-values) 
are extracted from different concepts in the ontology.

I decided to encode the characteristics via MathML and to store them as 
XMLLiterals which are to be found as datatype properties in the ontology.

The project I am working with uses a Java written GUI that enables the 
user to instantiate the ontology without writing any OWL but with using 
dragĀ“n drop and wysiwyg mechanisms.

One of my tasks is to implement a feature which enables the user to type 
in formulas (e.g (x + 5*y) * 4^2) without using MathML. These formulas 
should be encoded in MathML and they should be stored in the ontology. 
On the other hand the program has to be able to instantiate the 
variables of the given formulas and eventually calculate and return the 

My task is not to write a MathML parser but to implement an exisiting 
one. Therefore my plan was not to use JDOM or another XML Library but 
maybe I was a bit to optimistic about the amount of my workload :-)

Thanks for your help,

Received on Friday, 2 March 2007 11:01:29 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:39 UTC