3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
7 <title>Project Summary</title>
10 <h1>Project Summary</h1>
13 <p>The World Wide Web is already the largest resource of mathematical
14 knowledge, and its importance will be exponentiated by emerging display
15 technologies like MathML. However, almost all mathematical documents
16 available on the Web are marked up only for presentation, severely
17 crippling the potentialities for automation, interoperability,
18 sophisticated searching mechanisms, intelligent applications,
19 transformation and processing. The goal of the project is to overcome
20 these limitations, passing form a machine-readable to a
21 machine-understandable representation of the information, and developing
22 the technological infrastructure for its exploitation. MOWGLI builds on
23 previous ``standards'' for the management and publishing of mathematical
24 documents (MathML, OpenMath, OMDoc), integrating them with different XML
25 technology (XSLT, RDF, ...).</p>
27 <h2>Description of Work</h2>
28 <p>The goal of the project is to provide a comprehensive description, from
29 content to metadata, of a given field of knowledge (in our case
30 mathematics), in order to enhance its accessibility, exchange and
31 elaboration via the World Wide Web. MOWGLI will make an essential use of
32 standard XML technology and aspires to become an example of ``best
33 practice'' in its use, and a leading project in the new area of the
35 <p>In particular, we shall deeply explore the potentialities of XML in the
36 following directions:</p>
40 <dd>XML offers sophisticated publishing technologies (Stylesheets, MathML,
41 SVG, ...) which can be profitably used to solve, in a standard way, the
42 annoying notational problems that traditionally afflict
43 content based and machine-understandable encodings of the
46 <dt>Searching and Retrieving</dt>
47 <dd>Metadata will play a major role in MOWGLI. New W3C languages such as
48 the Resource Description Framework or XML Query are likely to produce
49 major innovative solutions in this field.</dd>
51 <dt>Interoperability</dt>
52 <dd>Disposing of a common, machine understandable layer is a major and
53 essential step in this direction.</dd>
56 <dd>All XML technology is finally aimed to the access of the Web as a
57 single, distributed resource, with no central authority and few,
61 <p>MOWGLI builds on the solid ground already provided by previous European
62 projects (Such as OpenMAth and Euler) and several XML dialects for the
63 management of mathematical documents (MathML, OpenMath, OMDoc, ...).
64 All these languages cover different and orthogonal aspects of the
65 information; our aim is not to propose a new standard, but to study and
66 to develop the technological infrastructure required for taking advantage
67 of the potentialities of all of them.</p>
69 <h2>Milestones and Expected Results</h2>
71 <dt>First MOWGLI prototype (month 18)</dt>
72 <dd>Supporting browsing, rendering and on-line consultation of large
73 repositories of (content-based) mathematical knowledge. The translation
74 from content to presentation will be done via suitable notational
77 <dt>Advanced MOWGLI prototype (month 24)</dt>
78 <dd>Supporting distribution, indexing, searching and retrieval (based on a
79 sophisticated metadata model).</dd>
81 <dt>Final MOWGLI prototype (month 30)</dt>
82 <dd>Result of validation.</dd>