1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
7 <meta http-equiv="content-type"
8 content="text/html; charset=ISO-8859-1">
10 <meta name="author" content="Ferruccio Guidi">
12 <meta name="description" content="MathQL Home Page">
16 <h1 align="center">MathQL-1</h1>
18 <h2 align="center">A query language for RDF metadata</h2>
20 <table cellpadding="10" cellspacing="2" border="0" width="95%"
24 <td valign="top" align="left">
27 <li><a href="index.html">Forward</a><br>
34 <li><a href="features.html">Features</a></li>
39 <li><a href="whatsnew.html">What's new</a></li>
44 <li><a href="documentation.html">Documentation</a></li>
50 <li>Implementation<br>
56 <li><a href="authors.html">The authors</a><br>
63 <li><a href="links.html">Links</a><br>
71 <div align="right"><b>Implementation</b><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 software components: <br>
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>
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
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
110 <li>F. Guidi and C. Sacerdoti Coen: <i>Querying Distributed
111 Digital Libraries of Mathematics</i>.<br>
118 <li>The testing software for the MathQL-1 Suite (<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
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>
132 href="http://mowgli.cs.unibo.it:58085/getpage?url=index.html&preprocess=true&param.processorURL=http%3A//mowgli.cs.unibo.it%3A58080/&param.getterURL=http%3A//mowgli.cs.unibo.it%3A58081/&param.proofcheckerURL=http%3A//mowgli.cs.unibo.it%3A58084/&param.draw_graphURL=http%3A//mowgli.cs.unibo.it%3A58083/&param.uri_set_queueURL=http%3A//mowgli.cs.unibo.it%3A58082/&param.UNICODEvsSYMBOL=unicode&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.interfaceURL=http%3A//helm.cs.unibo.it/helm/html/cic/index.html&param.thinterfaceURL=http%3A//helm.cs.unibo.it/helm/html/theory/index.html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no&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&preprocess=true&param.processorURL=http%3A//mowgli.cs.unibo.it/forward/58080/&param.getterURL=http%3A//mowgli.cs.unibo.it/forward/58081/&param.proofcheckerURL=http%3A//mowgli.cs.unibo.it/forward/58084/&param.draw_graphURL=http%3A//mowgli.cs.unibo.it/forward/58083/&param.uri_set_queueURL=http%3A//mowgli.cs.unibo.it/forward/58082/&param.UNICODEvsSYMBOL=unicode&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.interfaceURL=http%3A//helm.cs.unibo.it/helm/html/cic/index.html&param.thinterfaceURL=http%3A//helm.cs.unibo.it/helm/html/theory/index.html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no&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>