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 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>