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