]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/links.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / mathql / homepage / links.html
index 39f2db3534798e38fd37796b266c0c17bfc4cce1..a56faa15d39ab8fd0e992de1ae4af3be9d8c4f83 100644 (file)
 <html>
 <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>
+                                                                       
+      </ul>
+                                                                       
       <ul>
-             <li><a href="features.html">Features</a></li>
+                 <li><a href="whatsnew.html">What's new</a></li>
                                        
       </ul>
                                        
       <ul>
-             <li><a href="whatsnew.html">What's new</a></li>
-       
+             <li><a href="documentation.html">Documentation</a></li>
+                                                                        
+              
       </ul>
-       
+                                                               
       <ul>
-         <li><a href="documentation.html">Documentation</a></li>
-                                                       
+                <li><a href="implementation.html">Implementation</a><br>
+                </li>
+                                                               
       </ul>
-                               
+                                                               
       <ul>
-            <li><a href="implementation.html">Implementation</a><br>
-            </li>
-                               
+                <li><a href="authors.html">The authors</a><br>
+                </li>
+                                                                        
+              
       </ul>
-                               
+                                                               
       <ul>
-            <li><a href="authors.html">The authors</a><br>
-            </li>
-                                                       
+                <li>Links<br>
+                </li>
+                                                               
       </ul>
-                               
+              <br>
+                 </td>
+                 <td valign="top">                                      
+                 
+      <div align="right"><b>Links</b><br>
+        </div>
+                      
       <ul>
-            <li>Links<br>
           </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>
-          <br>
-             </td>
-             <td valign="top">                            
-      <div align="right"><b>Links</b><br>
-          </div>
-          <br>
-    <br>
-             </td>
-           </tr>
-                           
-  </tbody>       
+               
+      <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>
+               
+      </ul>
+               
+      <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://www.intellidimension.com/">RDFQL</a> &nbsp; <a
+ href="http://www.hpl.hp.com/semweb/rdql.htm">RDQL</a> &nbsp; <a
+ href="http://139.91.183.30:9090/RDF/">RQL</a> &nbsp; <a
+ href="http://www.dfki.uni-kl.de/ruleml/">RuleML</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 
+listed here may contact the <a href="authors.html">authors</a>.<br>
+        </blockquote>
+                 </td>
+               </tr>
+                                           
+  </tbody>           
 </table>
-       <small></small> <br>
-      <br>
-     <br>
-    <br>
-   <br>
+            <br>
   <br>
  <br>
 </body>