helm/mathql/homepage/implementation.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       <ul>
  34                  <li><a href="features.html">Features</a></li>
  35
  36       </ul>
  37
  38       <ul>
  39                  <li><a href="whatsnew.html">What's new</a></li>
  40
  41       </ul>
  42
  43       <ul>
  44             <li><a href="documentation.html">Documentation</a></li>
  45
  46
  47       </ul>
  48
  49       <ul>
  50                 <li>Implementation<br>
  51                 </li>
  52
  53       </ul>
  54
  55       <ul>
  56                 <li><a href="authors.html">The authors</a><br>
  57                 </li>
  58
  59
  60       </ul>
  61
  62       <ul>
  63                 <li><a href="links.html">Links</a><br>
  64                 </li>
  65
  66       </ul>
  67               <br>
  68                  </td>
  69                  <td valign="top">
  70
  71       <div align="right"><b>Implementation</b><br>
  72               </div>
  73               &nbsp;<br>
  74      The <b>MathQL-1 Suite for HELM</b> is implemented in <a
  75  href="http://caml.inria.fr/">Caml</a> and is currently   available through
  76 the <a href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/">HELM CVS repository</a>.
  77   The Suite provides the following&nbsp; software components: <br>
  78
  79       <ol>
  80              <li>The basic Caml package for MathQL-1 (<a
  81  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql/">mathql</a>)
  82   provides a <a href="http://helm.cs.unibo.it/">HELM</a> independent Caml
  83 representation of queries and query results,   plus some functions to convert
  84 this representation in text and XML and viceversa.</li>
  85
  86       </ol>
  87
  88       <ol start="2">
  89              <li>The MathQL-1 interpreter (<a
  90  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_interpreter/">mathql_interpreter</a>)
  91   is HELM dependent just in the implementation of the <i>property</i> operator,
  92   which still relies on the architecture of the relational database holding
  93   HELM metadata. The HELM team is planning to remove this drawback in the
  94 near  future.</li>
  95
  96       </ol>
  97
  98       <ol start="3">
  99              <li>The HELM query generator (<a
 100  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator</a>)
 101   allows to build specific kinds of MathQL-1 queries, which are meaningful
 102  in the context of HELM, starting from a high-level description of the wanted
 103   results. These queries are descibed at an abstract level in the following
 104   paper:</li>
 105
 106       </ol>
 107
 108       <blockquote>
 109         <ul>
 110                <li>F. Guidi and C. Sacerdoti Coen: <i>Querying Distributed
 111  Digital  Libraries of Mathematics</i>.<br>
 112                </li>
 113
 114         </ul>
 115            </blockquote>
 116
 117       <ol start="4">
 118              <li>The testing software for the MathQL-1 Suite&nbsp;(<a
 119  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/mathql_test/">mathql_test</a>)
 120   providides three textual interfaces (one for the basic package, one for
 121 the  interpreter and one for the query generator) with specific features meant
 122  for testing.<br>
 123              </li>
 124
 125       </ol>
 126      The current version of the Suite, realized entirely by F. Guidi, implements
 127   MathQL-1 version 3 (i.e. MathQL-1.3). The newly implemented features, which
 128  are not included in the ufficial <a href="documentation.html">documentation</a>
 129  yet, are reported in the <a href="whatsnew.html">What's new</a> section.<br>
 130    <br>
 131      The latest <a
 132  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
 133   query engine</a> (enter <a
 134  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>
 135 if you are behind a restrictive firewall), powered by MathQL-1.3, allows to
 136 issue both user-defined   queries and the specific queries produced by the
 137 HELM query generator.<br>
 138            <br>
 139            </td>
 140          </tr>
 141
 142   </tbody>
 143 </table>
 144      <br>
 145           <br>
 146          <br>
 147         <br>
 148        <br>
 149       <br>
 150      <br>
 151     <br>
 152    <br>
 153   <br>
 154  <br>
 155 </body>
 156 </html>