]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/proposal/project-summary.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / proposal / project-summary.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
4
5 <html>
6  <head>
7    <title>Project Summary</title>
8  </head>
9  <body>
10
11   <table width="550">
12    <tr>
13     <td>
14      <a href="../project.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
15     </td>
16     <td>
17      <a href="../project.html" target="content">Index</a>
18     </td>
19     <td>
20      <a href="project-objectives.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
21     </td>
22    </tr>
23   </table>
24
25   <br/>
26
27   <h1>Project Summary</h1>
28
29   <h2>Objectives</h2>
30   <p>The World Wide Web is already the largest resource of mathematical 
31      knowledge, and its importance will be exponentiated by emerging display 
32      technologies like MathML. However, almost all mathematical documents 
33      available on the Web are marked up only for presentation, severely 
34      crippling the potentialities for automation, interoperability, 
35      sophisticated searching mechanisms, intelligent applications,
36      transformation and processing. The goal of the project is to overcome 
37      these limitations, passing form a machine-readable to a 
38      machine-understandable representation of the information, and developing 
39      the technological infrastructure for its exploitation. MOWGLI builds on
40      previous ``standards'' for the management and publishing of mathematical 
41      documents (MathML, OpenMath, OMDoc), integrating them with different XML
42      technology (XSLT, RDF, ...).</p>
43
44   <h2>Description of Work</h2>
45   <p>The goal of the project is to provide a comprehensive description, from
46      content to metadata, of a given field of knowledge (in our case 
47      mathematics), in order to enhance its accessibility, exchange and 
48      elaboration via the World Wide Web. MOWGLI will make an essential use of 
49      standard XML technology and aspires to become an example of ``best 
50      practice'' in its use, and a leading project in the new area of the 
51      Semantic Web.</p>
52   <p>In particular, we shall deeply explore the potentialities of XML in the 
53      following directions:</p>
54
55   <dl>
56    <dt>Publishing</dt>
57    <dd>XML offers sophisticated publishing technologies (Stylesheets, MathML, 
58        SVG, ...) which can be profitably used to solve, in a standard way, the 
59        annoying notational problems that traditionally afflict
60        content based and machine-understandable encodings of the 
61        information.</dd>
62
63    <dt>Searching and Retrieving</dt>
64    <dd>Metadata will play a major role in MOWGLI. New W3C languages such as 
65        the Resource Description Framework or XML Query are likely to produce 
66        major innovative solutions in this field.</dd>
67
68    <dt>Interoperability</dt>
69    <dd>Disposing of a common, machine understandable layer is a major and 
70        essential step in this direction.</dd>
71
72    <dt>Distribution</dt>
73    <dd>All XML technology is finally aimed to the access of the Web as a 
74        single, distributed resource, with no central authority and few, 
75        simple rules.</dd>
76   </dl>
77
78   <p>MOWGLI builds on the solid ground already provided by previous European
79      projects (Such as OpenMAth and Euler) and several XML dialects for the 
80      management of mathematical documents (MathML, OpenMath, OMDoc, ...).
81      All these languages cover different and orthogonal aspects of the 
82      information; our aim is not to propose a new standard, but to study and 
83      to develop the technological infrastructure required for taking advantage 
84      of the potentialities of all of them.</p>
85   
86   <h2>Milestones and Expected Results</h2>
87   <dl>
88    <dt>First MOWGLI prototype (month 18)</dt>
89    <dd>Supporting browsing, rendering and on-line consultation of large 
90        repositories of (content-based) mathematical knowledge. The translation 
91        from content to presentation will be done via suitable notational 
92        stylesheets.</dd>
93
94    <dt>Advanced MOWGLI prototype (month 24)</dt>
95    <dd>Supporting distribution, indexing, searching and retrieval (based on a 
96        sophisticated metadata model).</dd>
97
98    <dt>Final MOWGLI prototype (month 30)</dt>
99    <dd>Result of validation.</dd>
100   </dl>
101
102   <br/>
103
104   <table width="550">
105    <tr>
106     <td>
107      <a href="../project.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
108     </td>
109     <td>
110      <a href="../project.html" target="content">Index</a>
111     </td>
112     <td>
113      <a href="project-objectives.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
114     </td>
115    </tr>
116   </table>
117
118  </body>
119 </html>
120