]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/links.html
ocaml 3.09 transition
[helm.git] / helm / mathql / homepage / links.html
index 878c68174e9deb81c394d070590b21d80f3cf555..ec8c4f2183b2bf578366e278f4e3015e670dd063 100644 (file)
@@ -3,94 +3,99 @@
 <head>
   <title>MathQL</title>
                                                                         
-          
+                 
   <meta http-equiv="content-type"
  content="text/html; charset=ISO-8859-1">
-                                               
+                                                   
   <meta name="author" content="Ferruccio Guidi">
-                                               
+                                                   
   <meta name="description" content="MathQL Home Page">
 </head>
   <body>
-                      
+                        
 <h1 align="center">MathQL-1</h1>
-                   
+                     
 <h2 align="center">A query language for RDF metadata</h2>
-                       
+                         
 <table cellpadding="10" cellspacing="2" border="0" width="95%"
  bgcolor="#ffffff">
-              <tbody>
-                <tr>
-                  <td valign="top" align="left">                        
-                                                           
+               <tbody>
+                 <tr>
+                   <td valign="top" align="left">                       
+                                                                   
       <ul>
-                    <li><a href="index.html">Forward</a><br>
-                 </li>
+                     <li><a href="index.html">Forward</a><br>
+                  </li>
                                                                         
-                      
+                              
       </ul>
-                                                                         
-     
+                                                                        
+              
       <ul>
-                  <li><a href="features.html">Features</a></li>
-                                                                         
-     
+                   <li><a href="features.html">Features</a></li>
+                                                                        
+              
       </ul>
-                                                                         
-     
+                                                                        
+              
       <ul>
-                  <li><a href="whatsnew.html">What's new</a></li>
-                                               
+                   <li><a href="whatsnew.html">What's new</a></li>
+                                                       
       </ul>
-                                               
+                                                       
       <ul>
-              <li><a href="documentation.html">Documentation</a></li>
+               <li><a href="documentation.html">Documentation</a></li>
                                                                         
-                      
+                              
       </ul>
-                                                                       
+                                                                         
+     
       <ul>
-                 <li><a href="implementation.html">Implementation</a><br>
-                 </li>
-                                                                       
+                  <li><a href="implementation.html">Implementation</a><br>
+                  </li>
+                                                                         
+     
       </ul>
-                                                                       
+                                                                         
+     
       <ul>
-                 <li><a href="authors.html">The authors</a><br>
-                 </li>
+                  <li><a href="authors.html">The authors</a><br>
+                  </li>
                                                                         
-                      
+                              
       </ul>
-                                                                       
+                                                                         
+     
       <ul>
-                 <li>Links<br>
-                 </li>
-                                                                       
+                  <li>Links<br>
+                  </li>
+                                                                         
+     
       </ul>
-               <br>
-                  </td>
-                  <td valign="top">                                     
-                         
+                <br>
+                   </td>
+                   <td valign="top">                                    
+                                 
       <div align="right"><b>Links</b><br>
-         </div>
-                              
+          </div>
+                                      
       <ul>
-           <li><a href="http://helm.cs.unibo.it/">HELM</a> Project homepage, 
- &nbsp; <a href="http://mowgli.cs.unibo.it/">MOWGLI</a> Project homepage</li>
-                       
+            <li><a href="http://helm.cs.unibo.it/">HELM</a> Project homepage,
 &nbsp; <a href="http://mowgli.cs.unibo.it/">MOWGLI</a> Project homepage</li>
+                               
       </ul>
-                       
+                               
       <ul>
-           <li>W3C <a href="http://www.w3.org/XML/">XML</a> resources, &nbsp; 
- W3C <a href="http://www.w3c.org/RDF/">RDF</a> resources</li>
-                       
+            <li>W3C <a href="http://www.w3.org/XML/">XML</a> resources, &nbsp;
 W3C <a href="http://www.w3c.org/RDF/">RDF</a> resources</li>
+                               
       </ul>
-                       
+                               
       <ul>
-           <li>Some RDF query languages having a homepage</li>
-                       
-      </ul>
+            <li>Some RDF query languages having a homepage</li>
                                
+      </ul>
+                                       
       <blockquote><a href="http://www.daml.org/">DAML+OIL</a> &nbsp; <a
  href="http://guha.com/rdfdb/">rdfDB</a> &nbsp; <a
  href="http://logicerror.com/RDFPath">RDFPath</a> &nbsp; <a
  href="http://triple.semanticweb.org/">TRIPLE</a>&nbsp; &nbsp;<a
  href="http://swordfish.rdfweb.org/rdfquery/">SquishQL</a> &nbsp; <a
  href="http://kr.cs.ait.ac.th/XDD/">XDD</a><br>
-         </blockquote>
-                         
-      <blockquote>The developers wishing to have their RDF query language
+          </blockquote>
+                                 
+      <blockquote>The developers wishing to have their RDF query language 
  listed here may contact the <a href="authors.html">authors</a>.<br>
-         </blockquote>
-                  </td>
-                </tr>
-                                               
-  </tbody>            
+          </blockquote>
+                   </td>
+                 </tr>
+                                                   
+  </tbody>             
 </table>
-             <br>
-   <br>
-  <br>
- <br>
+              <br>
 </body>
 </html>