]> matita.cs.unibo.it Git - helm.git/blobdiff - 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
diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml
new file mode 100644 (file)
index 0000000..e784106
--- /dev/null
@@ -0,0 +1,117 @@
+<?xml version="1.0"?>
+
+<html xmlns="http://www.w3.org/1999/xhtml"
+      xmlns:mowgli="http://mowgli.cs.unibo.it/website">
+
+  <head>
+    <title>MoWGLI Home Page</title>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <link rel="stylesheet" href="../style/mowgli.css" type="text/css" />
+  </head>
+
+  <body class="content">
+      <br />
+
+      <table width="100%" border="0" cellspacing="0" cellpadding="0">
+        <tr>
+         <td align="left" valign="top">
+            <img alt="MoWGLI Logo" src="../images/mowgli_combo.gif"/>
+         </td>
+         <td align="right" valign="top">
+           <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo" src="../images/istdrop.gif" width="200"/></a>
+         </td>
+       </tr>
+      </table>
+
+      <br />
+
+      <blockquote>
+       <div class="center">
+        <div class="small">
+         <h3><em style="color: red">Warning:</em>
+         <em>This site is under construction. Check often for updates.</em></h3>
+       </div>
+       </div>
+      </blockquote>
+
+      <br />
+      
+      <table width="100%" border="0" cellspacing="0" cellpadding="0">
+      <tr>
+
+      <td valign="top">
+
+      <h3>Abstract</h3>
+      
+      <p>The World Wide Web is already the largest resource of mathematical
+     knowledge, and its importance will be exponentiated by emerging display
+     technologies like
+     <a target="_top" href="http://www.w3.org/Math">MathML</a>.
+     However, almost all mathematical documents
+     available on the Web are marked up only for presentation, severely
+     crippling the potentialities for automation, interoperability,
+     sophisticated searching mechanisms, intelligent applications,
+     transformation and processing. The goal of the project is to overcome
+     these limitations, passing from a machine-readable to a
+     machine-understandable representation of the information, and developing
+     the technological infrastructure for its exploitation. MoWGLI builds on
+     previous standards for the management and publishing of mathematical
+     documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
+     <a target="_top" href="http://www.openmath.org">OpenMath</a>,
+     <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
+     integrating them with different
+     <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
+     (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
+     <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
+
+     <p>Read more about the project:</p>
+
+     <ul>
+       <li><a href="project-summary.html">Summary</a></li>
+       <li><a href="project-objectives.html">Objectives</a></li>
+       <li><a href="project-management.html">Management</a></li>
+     </ul>
+
+      </td>
+
+      <td>
+        &#x0A0;&#x0a0;&#x0a0;&#x0a0;
+      </td>
+
+      <td valign="top">
+
+      <div class="small">
+
+      <mowgli:latest-news />
+      <mowgli:approaching-deadlines />
+
+      </div>
+
+      </td>
+      </tr>
+      </table>
+
+      <br />
+
+      <hr width="100%"/>
+      
+      <table border="0" cellspacing="0" cellpadding="0" width="100%">
+        <tr>
+         <td align="left" valign="top">
+      <div class="small">
+            This page is hosted by the
+            <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
+            <a href="http://www.unibo.it">University of Bologna</a>.
+           <br />
+           Last update: <b><mowgli:date/></b>
+      </div>
+         </td>
+         <td align="right" valign="top">
+            <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo Small" src="../images/istbutton_small.gif"/></a>
+         </td>
+       </tr>
+      </table>
+      <br />
+  </body>
+
+</html>