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
  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
  91 development of a suitable technology for the  creation and maintenance
  92 of a virtual, distributed, hypertextual library  of structured mathematical
  93    knowledge based on <a href="http://www.w3.org/XML/">XML</a> technology,
  94 through the  integration of the current   proof assistants and logical frameworks
  95 with the  most recent technologies   for the development of Web applications
  96 and electronic  publishing.<br>
  97                         <br>
  98                 The objective of the MathQL proposal is the development of
  99  a  set   of  query   languages enabling the retrieval of formalized mathematical
 100   Web  resources    on the basis of content-aware requests. The first of
 101 these    languages,        <b>MathQL-1</b>,    is focused on querying an
 102 arbitrary          <a href="http://www.w3.org/RDF/">RDF</a> database because
 103 RDF is 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, which
 109   are highly structured     and possess their own syntax, formally explained
 110   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
 116 query 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  5, 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 </body>
 150 </html>