-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<!DOCTYPE doctype PUBLIC "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
- <title>MathQL</title>
-
-
+
+ <meta http-equiv="Content-Type"
+ content="text/html; charset=iso-8859-1">
+
<meta http-equiv="content-type"
content="text/html; charset=ISO-8859-1">
-
+
<meta name="author" content="Ferruccio Guidi">
-
+
<meta name="description" content="MathQL Home Page">
+
+ <meta name="GENERATOR"
+ content="Mozilla/4.77 [en] (X11; U; Linux 2.4.20-cs-p3 i686) [Netscape]">
+ <title>MathQL</title>
</head>
<body>
-
-<h1 align="center">MathQL-1</h1>
-
-<h2 align="center">A query language for RDF metadata</h2>
-
-<table cellpadding="10" cellspacing="2" border="0" width="95%"
+
+<center>
+<h1> MathQL-1</h1>
+ </center>
+
+<center>
+<h2> A query language for RDF metadata</h2>
+ </center>
+ <br>
+
+<table border="0" cellspacing="2" cellpadding="10" width="95%"
bgcolor="#ffffff">
- <tbody>
- <tr>
- <td valign="top" align="left">
-
+ <caption><br>
+ </caption><tbody>
+
+ </tbody> <tbody>
+ <tr>
+ <td align="left" valign="top">
<ul>
- <li><a href="index.html">Forward</a><br>
- </li>
-
-
+ <li> <a href="index.html">Forward</a></li>
+
</ul>
-
+
<ul>
-
<li><a href="features.html">Features</a></li>
-
+
<li> <a href="features.html">Features</a></li>
+
</ul>
-
+
<ul>
-
<li><a href="whatsnew.html">What's new</a></li>
-
+
<li> <a href="whatsnew.html">What's new</a></li>
+
</ul>
-
+
<ul>
- <li><a href="documentation.html">Documentation</a></li>
-
-
+ <li> <a href="documentation.html">Documentation</a></li>
+
</ul>
-
+
<ul>
- <li>Implementation<br>
- </li>
-
+ <li> Implementation</li>
+
</ul>
-
+
<ul>
- <li><a href="authors.html">The authors</a><br>
- </li>
-
-
+ <li> <a href="authors.html">The authors</a></li>
+
</ul>
-
+
<ul>
- <li><a href="links.html">Links</a><br>
- </li>
-
+ <li> <a href="links.html">Links</a></li>
+
</ul>
- <br>
- </td>
- <td valign="top">
-
- <div align="right"><b>Implementation</b><br>
- </div>
- <br>
- The <b>MathQL-1 Suite for HELM</b> is implemented in <a
- href="http://caml.inria.fr/">Caml</a> and is currently available through
+ </td>
+ <td valign="top">
+ <div align="right"><b>Implementation</b></div>
+
+ <p><br>
+ The <b>MathQL-1 Suite for HELM</b> is implemented in <a
+ href="http://caml.inria.fr/">Caml</a> and is currently available through
the <a href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/">HELM CVS repository</a>.
- The Suite provides the following software components: <br>
-
+The Suite provides the following software components: </p>
+
<ol>
- <li>The basic Caml package for MathQL-1 (<a
- href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql/">mathql</a>)
- provides a <a href="http://helm.cs.unibo.it/">HELM</a> independent Caml
-representation of queries and query results, plus some functions to convert
-this representation in text and XML and viceversa.</li>
-
+ <li> The basic Caml package for MathQL-1 (<a
+ href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql/">mathql</a>)
+ provides a <a href="http://helm.cs.unibo.it/">HELM</a> independent Caml
+representation of queries and query results, plus some general purpose utilities.</li>
+
</ol>
-
+
<ol start="2">
- <li>The MathQL-1 interpreter (<a
- href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_interpreter/">mathql_interpreter</a>)
- is HELM dependent just in the implementation of the <i>property</i> operator,
- which still relies on the architecture of the relational database holding
- HELM metadata. The HELM team is planning to remove this drawback in the
-near future.</li>
-
+ <li> The MathQL-1 interpreter (<a
+ href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_interpreter/">mathql_interpreter</a>)
+provides the proper search engine and is now HELM independent.</li>
</ol>
-
<ol start="3">
-
<li>The HELM query generator (<a
- href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator</a>)
- allows to build specific kinds of MathQL-1 queries, which are meaningful
- in the context of HELM, starting from a high-level description of the wanted
- results. These queries are described at an abstract level in the following
- paper:</li>
-
+ <li>The HELM query generator (<a
+ href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator</a>)
+ allows to build specific kinds of MathQL-1 queries, which are meaningful
+in the context of HELM, starting from a high-level description of the wanted
+ results. These queries are described at an abstract level in the following
+ paper:</li>
+
</ol>
-
- <blockquote>
+
+ <blockquote>
<ul>
- <li>F. Guidi and C. Sacerdoti Coen: <i>Querying Distributed
- Digital Libraries of Mathematics</i>.<br>
- </li>
- will appear as research report of Laboratoire D'Informatique de Paris 6
+ <li> F. Guidi and C. Sacerdoti Coen: <i>Querying Distributed Digital Libraries
+ of Mathematics</i>. In Proc. of the 11th Symposium on the Integration of
+Symbolic Computation and Mechanized Reasoning (Calculemus 2003). Rome, Italy,
+September 2003. pages 17-30, Aracne. 2003.</li>
+
</ul>
- </blockquote>
-
+ </blockquote>
+
<ol start="4">
- <li>The testing software for the MathQL-1 Suite (<a
- href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/mathql_test/">mathql_test</a>)
- provides three textual interfaces (one for the basic package, one for
-the interpreter and one for the query generator) with specific features meant
- for testing.<br>
- </li>
-
+ <li> The testing software for the MathQL-1 Suite (<a
+ href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/mathql_test/">mathql_test</a>)
+ provides three textual interfaces (one for the basic package, one for the
+ interpreter and one for the query generator) with specific features meant
+ for testing.</li>
+
</ol>
- The current version of the Suite, realized entirely by F. Guidi, implements
- MathQL-1 version 3 (i.e. MathQL-1.3). The newly implemented features, which
+ The current version of the Suite, realized entirely by F. Guidi, implements
+ MathQL-1 version 3 (i.e. MathQL-1.3). The newly implemented features, which
are not included in the official <a href="documentation.html">documentation</a>
- yet, are reported in the <a href="whatsnew.html">What's new</a> section.<br>
- <br>
- The latest <a
- 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
-
query engine</a> (enter <a
- 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>
-if you are behind a restrictive firewall), powered by MathQL-1.3, allows to
-issue both user-defined queries and the specific queries produced by the
-HELM query generator.<br>
- <br>
- </td>
- </tr>
-
- </tbody>
+ yet, are reported in the <a href="whatsnew.html">What's new</a> section.
+
+ 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
+ query engine</a> (enter <a
+ 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>
+ if you are behind a restrictive firewall), powered by MathQL-1.3, allows
+to issue both user-defined queries and the specific queries produced by the
+HELM query generator. <br>
+ </p>
+ </td>
+ </tr>
+
+ </tbody>
</table>
- <br>
- <br>
- <br>
- <br>
- <br>
- <br>
- <br>
- <br>
<br>
- <br>
<br>
</body>
</html>
projects / helm.git / blobdiff