]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/home.xml
* <I> ==> <em> everywhere
[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     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
11     <link rel="stylesheet" href="../style/mowgli.css" type="text/css" />
12   </head>
13
14   <body class="content">
15       <br />
16
17       <table width="100%" border="0" cellspacing="0" cellpadding="0">
18         <tr>
19           <td align="left" valign="top">
20             <img alt="MoWGLI Logo" src="../images/mowgli_combo.gif"/>
21           </td>
22           <td align="right" valign="top">
23             <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo" src="../images/istdrop.gif" width="200"/></a>
24           </td>
25         </tr>
26       </table>
27
28       <br />
29
30       <blockquote>
31        <div class="center">
32         <div class="small">
33          <h3><em style="color: red">Warning:</em>
34          <em>This site is under construction. Check often for updates.</em></h3>
35         </div>
36        </div>
37       </blockquote>
38
39       <br />
40       
41       <table width="100%" border="0" cellspacing="0" cellpadding="0">
42       <tr>
43
44       <td valign="top">
45
46       <h3>Abstract</h3>
47       
48       <p>The World Wide Web is already the largest resource of mathematical
49      knowledge, and its importance will be exponentiated by emerging display
50      technologies like
51      <a target="_top" href="http://www.w3.org/Math">MathML</a>.
52      However, almost all mathematical documents
53      available on the Web are marked up only for presentation, severely
54      crippling the potentialities for automation, interoperability,
55      sophisticated searching mechanisms, intelligent applications,
56      transformation and processing. The goal of the project is to overcome
57      these limitations, passing from a machine-readable to a
58      machine-understandable representation of the information, and developing
59      the technological infrastructure for its exploitation. MoWGLI builds on
60      previous standards for the management and publishing of mathematical
61      documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
62      <a target="_top" href="http://www.openmath.org">OpenMath</a>,
63      <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
64      integrating them with different
65      <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
66      (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
67      <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
68
69      <p>Read more about the project:</p>
70
71      <ul>
72        <li><a href="project-summary.html">Summary</a></li>
73        <li><a href="project-objectives.html">Objectives</a></li>
74        <li><a href="project-management.html">Management</a></li>
75      </ul>
76
77       </td>
78
79       <td>
80         &#x0A0;&#x0a0;&#x0a0;&#x0a0;
81       </td>
82
83       <td valign="top">
84
85       <div class="small">
86
87       <mowgli:latest-news />
88       <mowgli:approaching-deadlines />
89
90       </div>
91
92       </td>
93       </tr>
94       </table>
95
96       <br />
97
98       <hr width="100%"/>
99       
100       <table border="0" cellspacing="0" cellpadding="0" width="100%">
101         <tr>
102           <td align="left" valign="top">
103       <div class="small">
104             This page is hosted by the
105             <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
106             <a href="http://www.unibo.it">University of Bologna</a>.
107             <br />
108             Last update: <b><mowgli:date/></b>
109       </div>
110           </td>
111           <td align="right" valign="top">
112             <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo Small" src="../images/istbutton_small.gif"/></a>
113           </td>
114         </tr>
115       </table>
116       <br />
117   </body>
118
119 </html>