]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/home.xml
More cleanup: the home page is now generated by means of XSLT only.
[helm.git] / helm / mowgli / home / xml / home.xml
1 <?xml version="1.0"?>
2
3 <html xmlns="http://www.w3.org/1999/xhtml"
4       xmlns:mowgli="http://mowgli.cs.unibo.it/website">
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>
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       <hr width="100%"/>
97       
98       <table border="0" cellspacing="0" cellpadding="0" width="100%">
99         <tr>
100           <td align="left" valign="top">
101       <div class="small">
102             This page is hosted by the
103             <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
104             <a href="http://www.unibo.it">University of Bologna</a>.
105             <br />
106             Last update: <b><mowgli:date/></b>
107       </div>
108           </td>
109           <td align="right" valign="top">
110             <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo Small" src="../images/istbutton_small.gif"/></a>
111           </td>
112         </tr>
113       </table>
114       <br />
115   </body>
116
117 </html>