| - + | ||
+
+
+
- |
-
-
+ + |
+
+
Forward
- - - The MathQL proposal rises in the context of the + + The MathQL proposal rises in the context of the HELM project, which aims at the development of a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of structured mathematical @@ -74,44 +88,49 @@ of a virtual, distributed, hypertextual library of structured mathematical through the integration of the current proof assistants and logical frameworks with the most recent technologies for the development of Web applications and electronic publishing. - - The objective of the MathQL proposal is the development of a set -of query languages enabling the retrieval of formalized mathematical Web -resources on the basis of content-aware requests. The first of these languages, - MathQL-1, is focused on querying an arbitrary RDF database because RDF is the W3C standartd for describing Web resources - at the general-purpose content level. - - As an RDF query language, MathQL-1 provides the main features required - by the RDF community while complying with the needs of HELM. The peculiar - aspects of this language concern the query results, which are highly structured - and possess their own syntax, formally explained by a rigorous semantics. - - MathQL-1 is particularly helpful in distributed systems where query - engines are implemented as stand-alone units, because in this situation - the query results are exchanged between the system components as well -as the queries, and thus both the queries and the query results need to -be encoded in a clearly defined format. - - Other languages to be developed in the context of the MathQL proposal will -be suitable for queries about the semantic structure of mathematical data: -this will include content-based pattern-matching (MathQL-2) and possibly other -forms of formal matching involving for instance isomorphism, unification and -definitions expansion (MathQL-3). - |
-