helm/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   <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>Forward<br>
  28                 </li>
  29
  30
  31       </ul>
  32
  33       <ul>
  34                  <li><a href="features.html">Features</a></li>
  35
  36       </ul>
  37
  38       <ul>
  39                  <li><a href="documentation.html">Documentation</a></li>
  40
  41
  42       </ul>
  43
  44       <ul>
  45                 <li><a href="implementation.html">Implementation</a><br>
  46                 </li>
  47
  48       </ul>
  49
  50       <ul>
  51                 <li><a href="authors.html">The authors</a><br>
  52                 </li>
  53
  54
  55       </ul>
  56
  57       <ul>
  58                 <li><a href="links.html">Links</a><br>
  59                 </li>
  60
  61       </ul>
  62               <br>
  63                  </td>
  64                  <td valign="top">
  65
  66       <div align="right"><b>Forward</b><br>
  67               </div>
  68               <br>
  69         The MathQL proposal rises in the context of the <a
  70  href="http://helm.cs.unibo.it/">HELM  project</a>, which  aims   at the
  71 development of a suitable technology for the  creation and maintenance
  72 of a virtual, distributed, hypertextual library  of structured mathematical
  73    knowledge based on <a href="http://www.w3.org/XML/">XML</a> technology,
  74 through the  integration of the current   proof assistants and logical frameworks
  75 with the  most recent technologies   for the development of Web applications
  76 and electronic  publishing.<br>
  77                 <br>
  78         The objective of the MathQL proposal is the development of a set
  79 of  query   languages enabling the retrieval of formalized mathematical Web
  80 resources    on the basis of content-aware requests. The first of these languages,
  81        <b>MathQL-1</b>,    is focused on querying an arbitrary <a
  82  href="http://www.w3.org/RDF/">RDF</a> database because RDF is the <a
  83  href="http://www.w3.org/">W3C</a>  standartd  for describing Web resources
  84  at the general-purpose content level.<br>
  85               <br>
  86         As an RDF query language, MathQL-1 provides the main features required
  87    by the RDF community while complying with the needs of HELM. The peculiar
  88    aspects of this language concern the query results, which are highly structured
  89    and possess their own syntax, formally explained by a rigorous semantics.<br>
  90                <br>
  91          MathQL-1 is particularly helpful in distributed systems where query
  92   engines   are implemented as stand-alone units, because in this situation
  93   the query   results are exchanged between the system components as well
  94 as  the queries, and thus both the queries and the query results need to
  95 be encoded in a clearly defined format.<br>
  96        <br>
  97  Other languages to be developed in the context of the MathQL proposal will
  98 be suitable for queries about the semantic structure of mathematical data:
  99 this will include content-based pattern-matching (MathQL-2) and possibly other
 100 forms of formal matching involving for instance isomorphism, unification and
 101 definitions expansion (MathQL-3).<br>
 102                  </td>
 103                </tr>
 104
 105   </tbody>
 106 </table>
 107             <br>
 108     <br>
 109
 110 <div align="center">This site is maintained by <a
 111  href="mailto://fguidi@cs.unibo.it">Ferruccio Guidi</a>, last update:   March
 112 14, 2003.<br>
 113  <br>
 114  </div>
 115  <br>
 116 </body>
 117 </html>