]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql/homepage/links.html
ocaml 3.09 transition
[helm.git] / helm / mathql / homepage / links.html
1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 <html>
3 <head>
4   <title>MathQL</title>
5                                                                         
6                  
7   <meta http-equiv="content-type"
8  content="text/html; charset=ISO-8859-1">
9                                                    
10   <meta name="author" content="Ferruccio Guidi">
11                                                    
12   <meta name="description" content="MathQL Home Page">
13 </head>
14   <body>
15                         
16 <h1 align="center">MathQL-1</h1>
17                      
18 <h2 align="center">A query language for RDF metadata</h2>
19                          
20 <table cellpadding="10" cellspacing="2" border="0" width="95%"
21  bgcolor="#ffffff">
22                <tbody>
23                  <tr>
24                    <td valign="top" align="left">                       
25                                                                    
26       <ul>
27                      <li><a href="index.html">Forward</a><br>
28                   </li>
29                                                                         
30                               
31       </ul>
32                                                                         
33               
34       <ul>
35                    <li><a href="features.html">Features</a></li>
36                                                                         
37               
38       </ul>
39                                                                         
40               
41       <ul>
42                    <li><a href="whatsnew.html">What's new</a></li>
43                                                        
44       </ul>
45                                                        
46       <ul>
47                <li><a href="documentation.html">Documentation</a></li>
48                                                                         
49                               
50       </ul>
51                                                                          
52      
53       <ul>
54                   <li><a href="implementation.html">Implementation</a><br>
55                   </li>
56                                                                          
57      
58       </ul>
59                                                                          
60      
61       <ul>
62                   <li><a href="authors.html">The authors</a><br>
63                   </li>
64                                                                         
65                               
66       </ul>
67                                                                          
68      
69       <ul>
70                   <li>Links<br>
71                   </li>
72                                                                          
73      
74       </ul>
75                 <br>
76                    </td>
77                    <td valign="top">                                    
78                                  
79       <div align="right"><b>Links</b><br>
80           </div>
81                                       
82       <ul>
83             <li><a href="http://helm.cs.unibo.it/">HELM</a> Project homepage,
84   &nbsp; <a href="http://mowgli.cs.unibo.it/">MOWGLI</a> Project homepage</li>
85                                
86       </ul>
87                                
88       <ul>
89             <li>W3C <a href="http://www.w3.org/XML/">XML</a> resources, &nbsp;
90   W3C <a href="http://www.w3c.org/RDF/">RDF</a> resources</li>
91                                
92       </ul>
93                                
94       <ul>
95             <li>Some RDF query languages having a homepage</li>
96                                
97       </ul>
98                                        
99       <blockquote><a href="http://www.daml.org/">DAML+OIL</a> &nbsp; <a
100  href="http://guha.com/rdfdb/">rdfDB</a> &nbsp; <a
101  href="http://logicerror.com/RDFPath">RDFPath</a> &nbsp; <a
102  href="http://www.intellidimension.com/">RDFQL</a> &nbsp; <a
103  href="http://www.hpl.hp.com/semweb/rdql.htm">RDQL</a> &nbsp; <a
104  href="http://139.91.183.30:9090/RDF/">RQL</a> &nbsp; <a
105  href="http://www.dfki.uni-kl.de/ruleml/">RuleML</a> &nbsp; <a
106  href="http://triple.semanticweb.org/">TRIPLE</a>&nbsp; &nbsp;<a
107  href="http://swordfish.rdfweb.org/rdfquery/">SquishQL</a> &nbsp; <a
108  href="http://kr.cs.ait.ac.th/XDD/">XDD</a><br>
109           </blockquote>
110                                  
111       <blockquote>The developers wishing to have their RDF query language 
112  listed here may contact the <a href="authors.html">authors</a>.<br>
113           </blockquote>
114                    </td>
115                  </tr>
116                                                    
117   </tbody>             
118 </table>
119               <br>
120 </body>
121 </html>