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