X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Findex.html;h=a7c7cbc793530f3083c89b8f11ce6c3b40526577;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=016efb3c470d4c977e54926c90cf5d63fffb7bc4;hpb=9f22237fa52f20bdfed254a9837f7ff05ba2c9bb;p=helm.git diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 016efb3c4..a7c7cbc79 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -2,113 +2,116 @@
- + | ||
+
- |
-
-
+ + |
+
+
Forward
- - - 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 knowledge -based on XML technology, 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 + + 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 + knowledge based on XML technology, +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. + href="http://www.w3.org/">W3C standartd for describing Web resources + at the general-purpose content level. - 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). - |
-