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