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">
35 <li><a href="features.html">Features</a></li>
42 <li><a href="documentation.html">Documentation</a></li>
48 <li><a href="implementation.html">Implementation</a><br>
54 <li><a href="authors.html">The authors</a><br>
61 <li><a href="links.html">Links</a><br>
69 <div align="right"><b>Forward</b><br>
72 The MathQL proposal rises in the context of the <a
73 href="http://helm.cs.unibo.it/">HELM project</a>, which aims at the development
74 of a suitable technology for the creation and maintenance of a virtual,
75 distributed, hypertextual library of structured mathematical knowledge
76 based on <a href="http://www.w3.org/XML/">XML</a> technology, through the
77 integration of the current proof assistants and logical frameworks with
78 the most recent technologies for the development of Web applications and
79 electronic publishing.<br>
81 The objective of the MathQL proposal is the development of a set
82 of query languages enabling the retrieval of formalized mathematical Web
83 resources on the basis of content-aware requests. The first of these
84 languages, <b>MathQL-1</b>, is focused on querying an arbitrary
85 <a href="http://www.w3.org/RDF/">RDF</a> database because RDF is the
86 <a href="http://www.w3.org/">W3C</a> standartd for describing Web
87 resources at the general-purpose content level.<br>
89 As an RDF query language, MathQL-1 provides the main features required
90 by the RDF community while complying with the needs of HELM. The peculiar
91 aspects of this language concern the query results, which are highly
92 structured and possess their own syntax, formally explained by a rigorous
95 MathQL-1 is particularly helpful in distributed systems where query
96 engines are implemented as stand-alone units, because in this situation
97 the query results are exchanged between the system components as well
98 as the queries, and thus both the queries and the query results need to be
99 encoded in a clearly defined format.<br>
101 Other languages to be developed in the context of the MathQL proposal will
102 be suitable for queries about the semantic structure of mathematical data:
103 this will include content-based pattern-matching (MathQL-2) and possibly
104 other forms of formal matching involving for instance isomorphism, unification
105 and definitions expansion (MathQL-3).<br>
114 <div align="center">This site is maintained by <a
115 href="mailto://fguidi@cs.unibo.it">Ferruccio Guidi</a>, last update: May