]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/templates/home.html.top
* Notion of future and past events/deadlines introduced.
[helm.git] / helm / mowgli / home / templates / home.html.top
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
2  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
3
4 <html xmlns="http://www.w3.org/1999/xhtml">
5
6   <head>
7     <title>MoWGLI Home Page</title>
8     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
9     <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
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></h3>
32          <em>This site is under construction. Check often for updates.</em>
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 <a target="_top" href="http://www.w3.org/Math">MathML</a>.
49      However, almost all mathematical documents
50      available on the Web are marked up only for presentation, severely
51      crippling the potentialities for automation, interoperability,
52      sophisticated searching mechanisms, intelligent applications,
53      transformation and processing. The goal of the project is to overcome
54      these limitations, passing form a machine-readable to a
55      machine-understandable representation of the information, and developing
56      the technological infrastructure for its exploitation. MoWGLI builds on
57      previous ``standards'' for the management and publishing of mathematical
58      documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
59      <a target="_top" href="http://www.openmath.org">OpenMath</a>,
60      <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
61      integrating them with different
62      <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
63      (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
64      <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
65
66      <p>Read more about the project:</p>
67
68      <ul>
69        <li><a href="project-summary.html">Summary</a></li>
70        <li><a href="project-objectives.html">Objectives</a></li>
71        <li><a href="project-management.html">Management</a></li>
72      </ul>
73
74       </td>
75
76       <td>
77         &nbsp;&nbsp;&nbsp;&nbsp;
78       </td>
79
80       <td valign="top">
81
82       <div class="small">
83
84       <h3>Latest News</h3>
85
86       <dl>