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