The MoWGLI Project (march 2002 - march 2005) aimed at the study and development of content based techniques for mathematical knowledge management, and in particular to the the problem of enhancing the accessibility, exchange and elaboration of mathematical information via the World Wide Web. MoWGLI was also intentionally conceived as a major test-bench for XML-technology (DOM, Stylesheets, MathML, SVG, RDF, XMLQuery, etc.) whose extensive use and testing has been a major leitmotif of the project. The main technological issues dealt within MoWGLI have been rendering (in particular, rendering engines for MathML), Web publishing (mostly done on the fly from XML sources via XSLT transformations), and searching (via a rich set of metadata automatically extracted from the content description of the information). Developing and testing these tools required the possibility of having at our disposal, and as soon as possible, large collections of documents encoded with semantic markup. One strategy which has been pursued has been to develop a tool, called Hermes supporting a latex-based authoring mode for mathematical articles. A more rapid way to get meaningful repositories of fully structured mathematical knowledge was by exporting them from the available libraries of Logical Frameworks and Proof Assistants. In particular the library of the Coq proof assistant developed at INRIA has been successfully exported into XML and is currently searchable and browsable by means of MoWGLI's technology at http://helm.cs.unibo.it/. All tasks have been succesfully completed, and the project received a very positive final evaluation.
IST-2001-33562 MoWGLI
ASPERTI, ANDREA
2004
Abstract
The MoWGLI Project (march 2002 - march 2005) aimed at the study and development of content based techniques for mathematical knowledge management, and in particular to the the problem of enhancing the accessibility, exchange and elaboration of mathematical information via the World Wide Web. MoWGLI was also intentionally conceived as a major test-bench for XML-technology (DOM, Stylesheets, MathML, SVG, RDF, XMLQuery, etc.) whose extensive use and testing has been a major leitmotif of the project. The main technological issues dealt within MoWGLI have been rendering (in particular, rendering engines for MathML), Web publishing (mostly done on the fly from XML sources via XSLT transformations), and searching (via a rich set of metadata automatically extracted from the content description of the information). Developing and testing these tools required the possibility of having at our disposal, and as soon as possible, large collections of documents encoded with semantic markup. One strategy which has been pursued has been to develop a tool, called Hermes supporting a latex-based authoring mode for mathematical articles. A more rapid way to get meaningful repositories of fully structured mathematical knowledge was by exporting them from the available libraries of Logical Frameworks and Proof Assistants. In particular the library of the Coq proof assistant developed at INRIA has been successfully exported into XML and is currently searchable and browsable by means of MoWGLI's technology at http://helm.cs.unibo.it/. All tasks have been succesfully completed, and the project received a very positive final evaluation.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
