]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/home.xml
The footer is now generated by xhtml-content.xsl
[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       <blockquote>
29        <div class="center">
30         <div class="small">
31          <h3><em style="color: red">Warning:</em>
32          <em>This site is under construction. Check often for updates.</em></h3>
33         </div>
34        </div>
35       </blockquote>
36
37       <br />
38       
39       <table width="100%" border="0" cellspacing="0" cellpadding="0">
40       <tr>
41
42       <td valign="top">
43
44       <h3>Abstract</h3>
45       
46       <p>The World Wide Web is already the largest resource of mathematical
47      knowledge, and its importance will be exponentiated by emerging display
48      technologies like
49      <a target="_top" href="http://www.w3.org/Math">MathML</a>.
50      However, almost all mathematical documents
51      available on the Web are marked up only for presentation, severely
52      crippling the potentialities for automation, interoperability,
53      sophisticated searching mechanisms, intelligent applications,
54      transformation and processing. The goal of the project is to overcome
55      these limitations, passing from a machine-readable to a
56      machine-understandable representation of the information, and developing
57      the technological infrastructure for its exploitation. MoWGLI builds on
58      previous standards for the management and publishing of mathematical
59      documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
60      <a target="_top" href="http://www.openmath.org">OpenMath</a>,
61      <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
62      integrating them with different
63      <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
64      (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
65      <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
66
67      <p>Read more about the project:</p>
68
69      <ul>
70        <li><a href="project-summary.html">Summary</a></li>
71        <li><a href="project-objectives.html">Objectives</a></li>
72        <li><a href="project-management.html">Management</a></li>
73      </ul>
74
75       </td>
76
77       <td>
78         &#x0A0;&#x0a0;&#x0a0;&#x0a0;
79       </td>
80
81       <td valign="top">
82
83       <div class="small">
84
85       <mowgli:latest-news />
86       <mowgli:approaching-deadlines />
87
88       </div>
89
90       </td>
91       </tr>
92       </table>
93
94       <br />
95
96   </body>
97
98 </html>