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   <meta http-equiv="content-type"
   7  content="text/html; charset=ISO-8859-1">
   8
   9   <meta name="author" content="Ferruccio Guidi">
  10
  11   <meta name="description" content="MathQL Home Page">
  12 </head>
  13   <body>
  14
  15 <h1 align="center">MathQL-1</h1>
  16
  17 <h2 align="center">A query language for RDF metadata</h2>
  18
  19 <table cellpadding="10" cellspacing="2" border="0" width="95%"
  20  bgcolor="#ffffff">
  21          <tbody>
  22            <tr>
  23              <td valign="top" align="left">
  24
  25       <ul>
  26                <li><a href="index.html">Forward</a><br>
  27             </li>
  28
  29       </ul>
  30
  31       <ul>
  32              <li><a href="features.html">Features</a></li>
  33
  34       </ul>
  35
  36       <ul>
  37              <li>Documentation</li>
  38
  39       </ul>
  40
  41       <ul>
  42             <li><a href="implementation.html">Implementation</a><br>
  43             </li>
  44
  45       </ul>
  46
  47       <ul>
  48             <li><a href="authors.html">The authors</a><br>
  49             </li>
  50
  51       </ul>
  52
  53       <ul>
  54             <li><a href="links.html">Links</a><br>
  55             </li>
  56
  57       </ul>
  58           <br>
  59              </td>
  60              <td valign="top">
  61       <div align="right"><b>Documentation</b><br>
  62           </div>
  63           <br>
  64  All available information about MathQL-1 can be found in the papers below
  65 (listed in order of relevance):<br>
  66        <br>
  67        <br>
  68        <b>Papers concerning the latest version of MathQL-1:</b><br>
  69
  70       <ul>
  71          <li>F. Guidi: <i>Searching and Retrieving in Content-based Repositories
  72 of Formal Mathematical Knowledge</i> Ph.D. Thesis in Computer Science, University
  73 of Bologna, 2003.</li>
  74
  75       </ul>
  76       <ul>
  77         <li>F. Guidi and I. Schena: <a
  78  href="http://monet.nag.co.uk/mkm/bertinoro03/guidi.pdf"><i>A Query Language
  79 for a Metadata Framework about Mathematical Resources</i></a>. Presentation
  80 at the 2nd International Conference on Mathematical Knowledge Management
  81 (MKM 2003). Bertinoro, Italy, February 2003.<br>
  82         </li>
  83       </ul>
  84       <b>Papers concerning the erlier versions of MathQL-1:</b><br>
  85
  86       <ul>
  87          <li>F. Guidi and I. Schena: <a
  88  href="http://link.springer.de/link/service/series/0558/papers/2594/25940105.pdf"><i>A
  89 Query Language for a Metadata Framework about Mathematical Resources</i></a>.
  90 In Proc. of the 2nd International Conference on Mathematical Knowledge Management
  91 (MKM 2003). Bertinoro, Italy, February 2003. LNCS 2594, pages 105-118, Springer.
  92 2003.</li>
  93
  94       </ul>
  95
  96       <ul>
  97          <li>L. Natile: <i>Tecnologie per l'Interrogazione di Basi Documentarie
  98 in Formato XML</i>. Master Thesis in Computer Science, University of Bologna,
  99 2002.</li>
 100
 101       </ul>
 102
 103       <ul>
 104          <li>A. Nediani: <i>Disegno e Implementazione di un'Interfaccia Web
 105 di Supporto ad Interrogazioni su Basi di Dati Documentarie</i>. Master Thesis
 106 in Computer Science, University of Bologna, 2003.</li>
 107
 108       </ul>
 109
 110       <ul>
 111          <li>D. Lordi: <i>Sperimentazione e Sviluppo di Strumenti per la
 112 gestione di metadati</i>. Master Thesis in Computer Science, University of
 113 Bologna, 2002.<br>
 114          </li>
 115
 116       </ul>
 117              </td>
 118            </tr>
 119
 120   </tbody>
 121 </table>
 122         <br>
 123 </body>
 124 </html>