]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/home.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / home.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE html SYSTEM "mowgli-xhtml1-transitional.dtd">
4
5 <html xmlns="http://www.w3.org/1999/xhtml"
6       xmlns:mowgli="http://mowgli.cs.unibo.it/website">
7
8   <head>
9     <title>MoWGLI Home Page</title>
10   </head>
11
12   <body class="content">
13       <br />
14
15       <table width="100%" border="0" cellspacing="0" cellpadding="0">
16         <tr>
17           <td align="left" valign="top">
18             <img alt="MoWGLI Logo" src="../images/mowgli_combo.gif"/>
19           </td>
20           <td align="right" valign="top">
21             <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo" src="../images/istdrop.gif" width="200"/></a>
22           </td>
23         </tr>
24       </table>
25
26       <br />
27
28       <table width="100%" border="0" cellspacing="0" cellpadding="0">
29       <tr>
30
31       <td valign="top">
32
33       <h3>Abstract</h3>
34       
35       <p>The World Wide Web is already the largest resource of mathematical
36      knowledge, and its importance will be exponentiated by emerging display
37      technologies like
38      <a target="_top" href="http://www.w3.org/Math">MathML</a>.
39      However, almost all mathematical documents
40      available on the Web are marked up only for presentation, severely
41      crippling the potentialities for automation, interoperability,
42      sophisticated searching mechanisms, intelligent applications,
43      transformation and processing. The goal of the project is to overcome
44      these limitations, passing from a machine-readable to a
45      machine-understandable representation of the information, and developing
46      the technological infrastructure for its exploitation. MoWGLI builds on
47      previous standards for the management and publishing of mathematical
48      documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
49      <a target="_top" href="http://www.openmath.org">OpenMath</a>,
50      <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
51      integrating them with different
52      <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
53      (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
54      <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
55
56       <br/>     
57  
58       <p>For further description see 
59          <a target="content" href="project.html">Project</a>
60          in the Project Menu.</p>
61
62       </td>
63
64       <td>
65         &#x0A0;&#x0a0;&#x0a0;&#x0a0;
66       </td>
67
68       <td valign="top">
69
70       <div class="small">
71
72       <mowgli:latest-news />
73       <mowgli:approaching-deadlines />
74
75       </div>
76
77       </td>
78       </tr>
79       </table>
80
81       <br />
82
83   </body>
84
85 </html>