]> matita.cs.unibo.it Git - helm.git/blob - mathql/homepage/index.html
...
[helm.git] / mathql / homepage / index.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       
11   <meta name="author" content="Ferruccio Guidi">
12                                                                         
13       
14   <meta name="description" content="MathQL Home Page">
15 </head>
16   <body>
17                                       
18 <h1 align="center">MathQL-1</h1>
19                                    
20 <h2 align="center">A query language for RDF metadata</h2>
21                                        
22 <table cellpadding="10" cellspacing="2" border="0" width="95%"
23  bgcolor="#ffffff">
24                       <tbody>
25                         <tr>
26                           <td valign="top" align="left">                
27                                                                         
28                                                   
29       <ul>
30                             <li>Forward<br>
31                          </li>
32                                                                         
33                                                                         
34              
35       </ul>
36                                                                         
37                                                                       
38       <ul>
39                           <li><a href="features.html">Features</a></li>
40                                                                         
41                                                                       
42       </ul>
43                                                                         
44                                                                       
45       <ul>
46                           <li><a href="whatsnew.html">What's new</a></li>
47                                                        
48       </ul>
49                                                        
50       <ul>
51                <li><a href="documentation.html">Documentation</a></li>
52                                                                         
53                                                                         
54              
55       </ul>
56                                                                         
57                                                               
58       <ul>
59                          <li><a href="implementation.html">Implementation</a><br>
60                          </li>
61                                                                         
62                                                               
63       </ul>
64                                                                         
65                                                               
66       <ul>
67                          <li><a href="authors.html">The authors</a><br>
68                          </li>
69                                                                         
70                                                                         
71              
72       </ul>
73                                                                         
74                                                               
75       <ul>
76                          <li><a href="links.html">Links</a><br>
77                          </li>
78                                                                         
79                                                               
80       </ul>
81                        <br>
82                           </td>
83                           <td valign="top">                             
84                                                                         
85                
86       <div align="right"><b>Forward</b><br>
87                        </div>
88                        <br>
89                  The MathQL proposal rises in the context of the <a
90  href="http://helm.cs.unibo.it/">HELM  project</a>, which  aims   at the development
91 of a suitable technology for the  creation and maintenance   of a virtual,
92 distributed, hypertextual library  of structured mathematical    knowledge
93 based on <a href="http://www.w3.org/XML/">XML</a> technology, through the
94  integration of the current   proof assistants and logical frameworks with
95 the  most recent technologies   for the development of Web applications and
96 electronic  publishing.<br>
97                          <br>
98                  The objective of the MathQL proposal is the development
99 of  a  set   of  query   languages enabling the retrieval of formalized mathematical 
100   Web  resources    on the basis of content-aware requests. The first of these
101    languages,        <b>MathQL-1</b>,    is focused on querying an arbitrary
102          <a href="http://www.w3.org/RDF/">RDF</a> database because RDF is
103 the         <a href="http://www.w3.org/">W3C</a>  standard  for describing
104  Web   resources  at the general-purpose content level.<br>
105                        <br>
106                  As an RDF query language, MathQL-1 provides the main features
107    required      by the RDF community while complying with the needs of HELM.
108    The peculiar      aspects of this language concern the query results,
109 which    are highly structured     and possess their own syntax, formally
110 explained    by a rigorous semantics.<br>
111                         <br>
112                   MathQL-1 is particularly helpful in distributed systems 
113 where    query    engines   are implemented as stand-alone units, because 
114 in this   situation    the query   results are exchanged between the system 
115 components   as well  as  the queries, and thus both the queries and the query
116 results   need to be encoded in a clearly defined format.<br>
117                 <br>
118           Other languages to be developed in the context of the MathQL proposal 
119    will  be suitable for queries about the semantic structure of mathematical 
120    data:  this will include content-based pattern-matching (MathQL-2) and 
121 possibly   other forms of formal matching involving for instance isomorphism, 
122 unification   and definitions expansion (MathQL-3).<br>
123                           </td>
124                         </tr>
125                                                                         
126       
127   </tbody>                    
128 </table>
129                      <br>
130              <br>
131                          
132 <div align="center">This site is maintained by <a
133  href="mailto://fguidi@cs.unibo.it">Ferruccio Guidi</a>, last update: November
134 13, 2003.<br>
135    </div>
136    <br>
137   <br>
138    
139 <div align="center"><a href="http://www.anybrowser.org/campaign"><img
140  src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
141  alt="Any Browswr" width="147" height="42" border="0">
142  </a><a href="http://burnallgifs.org/"><img
143  src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
144  alt="PNG used here" width="119" height="42" border="0">
145  </a><br>
146   <br>
147   </div>
148   <br>
149  <br>
150 </body>
151 </html>