mathql/homepage/implementation.html

   1 <!DOCTYPE doctype PUBLIC "-//w3c//dtd html 4.0 transitional//en">
   2 <html>
   3 <head>
   4
   5   <meta http-equiv="Content-Type"
   6  content="text/html; charset=iso-8859-1">
   7
   8   <meta http-equiv="content-type"
   9  content="text/html; charset=ISO-8859-1">
  10
  11   <meta name="author" content="Ferruccio Guidi">
  12
  13   <meta name="description" content="MathQL Home Page">
  14
  15   <meta name="GENERATOR"
  16  content="Mozilla/4.77 [en] (X11; U; Linux 2.4.20-cs-p3 i686) [Netscape]">
  17   <title>MathQL</title>
  18 </head>
  19   <body>
  20
  21 <center>
  22 <h1> MathQL-1</h1>
  23  </center>
  24
  25 <center>
  26 <h2> A query language for RDF metadata</h2>
  27  </center>
  28    <br>
  29
  30 <table border="0" cellspacing="2" cellpadding="10" width="95%"
  31  bgcolor="#ffffff">
  32   <caption><br>
  33    </caption><tbody>
  34
  35   </tbody>  <tbody>
  36      <tr>
  37   <td align="left" valign="top">
  38       <ul>
  39   <li> <a href="index.html">Forward</a></li>
  40
  41       </ul>
  42
  43       <ul>
  44   <li> <a href="features.html">Features</a></li>
  45
  46       </ul>
  47
  48       <ul>
  49   <li> <a href="whatsnew.html">What's new</a></li>
  50
  51       </ul>
  52
  53       <ul>
  54   <li> <a href="documentation.html">Documentation</a></li>
  55
  56       </ul>
  57
  58       <ul>
  59   <li> Implementation</li>
  60
  61       </ul>
  62
  63       <ul>
  64   <li> <a href="authors.html">The authors</a></li>
  65
  66       </ul>
  67
  68       <ul>
  69   <li> <a href="links.html">Links</a></li>
  70
  71       </ul>
  72   </td>
  73    <td valign="top">
  74       <div align="right"><b>Implementation</b></div>
  75
  76       <p><br>
  77  The <b>MathQL-1 Suite for HELM</b> is implemented in <a
  78  href="http://caml.inria.fr/">Caml</a> and is currently available through
  79 the <a href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/">HELM CVS repository</a>.
  80 The Suite provides the following&nbsp; software components:&nbsp; </p>
  81
  82       <ol>
  83   <li> The basic Caml package for MathQL-1 (<a
  84  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql/">mathql</a>)
  85  provides a <a href="http://helm.cs.unibo.it/">HELM</a> independent Caml
  86 representation of queries and query results, plus some general purpose utilities.</li>
  87
  88       </ol>
  89
  90       <ol start="2">
  91   <li> The MathQL-1 interpreter (<a
  92  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_interpreter/">mathql_interpreter</a>)
  93 provides the proper search engine and is now HELM independent.</li>
  94       </ol>
  95       <ol start="3">
  96         <li>The HELM query generator (<a
  97  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator</a>)
  98  allows to build specific kinds of MathQL-1 queries, which are meaningful
  99 in the context of HELM, starting from a high-level description of the wanted
 100  results. These queries are described at an abstract level in the following
 101  paper:</li>
 102
 103       </ol>
 104
 105       <blockquote>
 106         <ul>
 107   <li> F. Guidi and C. Sacerdoti Coen: <i>Querying Distributed Digital Libraries
 108  of Mathematics</i>. In Proc. of the 11th Symposium on the Integration of
 109 Symbolic Computation and Mechanized Reasoning (Calculemus 2003). Rome, Italy,
 110 September 2003. pages 17-30, Aracne. 2003.</li>
 111
 112         </ul>
 113   </blockquote>
 114
 115       <ol start="4">
 116   <li> The testing software for the MathQL-1 Suite (<a
 117  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/mathql_test/">mathql_test</a>)
 118  provides three textual interfaces (one for the basic package, one for the
 119  interpreter and one for the query generator) with specific features meant
 120  for testing.</li>
 121
 122       </ol>
 123   The current version of the Suite, realized entirely by F. Guidi, implements
 124  MathQL-1 version 3 (i.e. MathQL-1.3). The newly implemented features, which
 125  are not included in the official <a href="documentation.html">documentation</a>
 126  yet, are reported in the <a href="whatsnew.html">What's new</a> section.
 127
 128       <p>The latest <a
 129  href="http://mowgli.cs.unibo.it:58085/getpage?url=index.html&amp;preprocess=true&amp;param.processorURL=http%3A//mowgli.cs.unibo.it%3A58080/&amp;param.getterURL=http%3A//mowgli.cs.unibo.it%3A58081/&amp;param.proofcheckerURL=http%3A//mowgli.cs.unibo.it%3A58084/&amp;param.draw_graphURL=http%3A//mowgli.cs.unibo.it%3A58083/&amp;param.uri_set_queueURL=http%3A//mowgli.cs.unibo.it%3A58082/&amp;param.UNICODEvsSYMBOL=unicode&amp;param.keys=d_c%2CC1%2CHC2%2CL&amp;param.thkeys=T1%2CT2%2CL%2CE&amp;param.embedkeys=d_c%2CTC1%2CHC2%2CL&amp;param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&amp;param.encoding=iso-8859-1&amp;param.thencoding=iso-8859-1&amp;param.media-type=text/html&amp;param.thmedia-type=text/html&amp;param.interfaceURL=http%3A//helm.cs.unibo.it/helm/html/cic/index.html&amp;param.thinterfaceURL=http%3A//helm.cs.unibo.it/helm/html/theory/index.html&amp;param.CICURI=dummy:query_result&amp;param.naturalLanguage=yes&amp;param.annotations=no&amp;param.topurl=http://helm.cs.unibo.it/helm">HELM
 130  query engine</a> (enter <a
 131  href="http://mowgli.cs.unibo.it/forward/58085/getpage?url=index.html&amp;preprocess=true&amp;param.processorURL=http%3A//mowgli.cs.unibo.it/forward/58080/&amp;param.getterURL=http%3A//mowgli.cs.unibo.it/forward/58081/&amp;param.proofcheckerURL=http%3A//mowgli.cs.unibo.it/forward/58084/&amp;param.draw_graphURL=http%3A//mowgli.cs.unibo.it/forward/58083/&amp;param.uri_set_queueURL=http%3A//mowgli.cs.unibo.it/forward/58082/&amp;param.UNICODEvsSYMBOL=unicode&amp;param.keys=d_c%2CC1%2CHC2%2CL&amp;param.thkeys=T1%2CT2%2CL%2CE&amp;param.embedkeys=d_c%2CTC1%2CHC2%2CL&amp;param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&amp;param.encoding=iso-8859-1&amp;param.thencoding=iso-8859-1&amp;param.media-type=text/html&amp;param.thmedia-type=text/html&amp;param.interfaceURL=http%3A//helm.cs.unibo.it/helm/html/cic/index.html&amp;param.thinterfaceURL=http%3A//helm.cs.unibo.it/helm/html/theory/index.html&amp;param.CICURI=dummy:query_result&amp;param.naturalLanguage=yes&amp;param.annotations=no&amp;param.topurl=http://helm.cs.unibo.it/helm">here</a>
 132  if you are behind a restrictive firewall), powered by MathQL-1.3, allows
 133 to issue both user-defined queries and the specific queries produced by the
 134 HELM query generator. <br>
 135  &nbsp;</p>
 136        </td>
 137   </tr>
 138
 139   </tbody>
 140 </table>
 141    <br>
 142  <br>
 143 </body>
 144 </html>