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