helm/mathql/homepage/documentation.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><a href="index.html">Forward</a><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="whatsnew.html">What's new</a></li>
  43
  44       </ul>
  45
  46       <ul>
  47            <li>Documentation</li>
  48
  49
  50       </ul>
  51
  52
  53       <ul>
  54                   <li><a href="implementation.html">Implementation</a><br>
  55                   </li>
  56
  57
  58       </ul>
  59
  60
  61       <ul>
  62                   <li><a href="authors.html">The authors</a><br>
  63                   </li>
  64
  65
  66       </ul>
  67
  68
  69       <ul>
  70                   <li><a href="links.html">Links</a><br>
  71                   </li>
  72
  73
  74       </ul>
  75                 <br>
  76                    </td>
  77                    <td valign="top">
  78
  79       <div align="right"><b>Documentation</b><br>
  80                 </div>
  81                 <br>
  82        All available information about MathQL-1 can be found in the papers
  83  below   (listed in order of relevance).<br>
  84  The newest features of MathQL-1, which are not included in this documentation,
  85 are reported in the <a href="whatsnew.html">What's new</a> section.<br>
  86              <br>
  87              <br>
  88              <b>Papers concerning the latest version of MathQL-1:</b><br>
  89
  90       <ul>
  91                <li>F. Guidi: <a
  92  href="ftp://ftp.cs.unibo.it/pub/techreports/2003-06.ps.gz"><i>Searching
  93 and Retrieving in Content-based Repositories  of Formal Mathematical Knowledge</i></a>.
  94   Ph.D. Thesis in Computer Science, University  of Bologna, March 2003. Technical
  95   report UBLCS 2003-06.</li>
  96
  97       </ul>
  98
  99       <ul>
 100               <li>F. Guidi and I. Schena: <a
 101  href="http://monet.nag.co.uk/mkm/bertinoro03/guidi.pdf"><i>A Query Language
 102    for a Metadata Framework about Mathematical Resources</i></a>. Presentation
 103    at the 2nd International Conference on Mathematical Knowledge Management
 104   (MKM 2003). Bertinoro, Italy, February 2003.<br>
 105               </li>
 106
 107       </ul>
 108             <b>Papers concerning the erlier versions of MathQL-1:</b><br>
 109
 110       <ul>
 111                <li>F. Guidi and I. Schena: <i>A Query Language for a Metadata
 112   Framework about Mathematical Resources</i>. In Proc. of the 2nd International
 113   Conference on Mathematical Knowledge Management (MKM 2003). Bertinoro, Italy,
 114   February 2003. LNCS 2594, pages 105-118, Springer. 2003.</li>
 115       </ul>
 116       <ul>
 117         <li>F. Guidi and I. Schena: <i>Advancement on a Query Language for
 118 Metadata</i>. Presentation at MOWGLI Meeting   July 2002. Eindhoven, the
 119 Netherlands.</li>
 120       </ul>
 121       <ul>
 122                <li>L. Natile: <i>Tecnologie per l'Interrogazione di Basi
 123 Documentarie    in Formato XML</i>. Master Thesis in Computer Science, University
 124 of Bologna,    2002.</li>
 125
 126       </ul>
 127
 128       <ul>
 129                <li>A. Nediani: <i>Disegno e Implementazione di un'Interfaccia
 130   Web  di Supporto ad Interrogazioni su Basi di Dati Documentarie</i>. Master
 131   Thesis  in Computer Science, University of Bologna, 2003.</li>
 132
 133       </ul>
 134
 135       <ul>
 136                <li>D. Lordi: <i>Sperimentazione e Sviluppo di Strumenti per
 137  la  gestione di metadati</i>. Master Thesis in Computer Science, University
 138   of  Bologna, 2002.</li>
 139
 140       </ul>
 141        <br>
 142                    </td>
 143                  </tr>
 144
 145   </tbody>
 146 </table>
 147               <br>
 148       <br>
 149      <br>
 150     <br>
 151    <br>
 152   <br>
 153  <br>
 154 </body>
 155 </html>