X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Findex.html;h=93d7ec1777200752e07f9a9f2ffa0fef5a20c039;hb=4faf0e37e7019de16dd6862bb34d84f799a2a230;hp=6b43894bedb05bc5276e80cb1505136355aa3927;hpb=61519a6ef507c1319be96c2f4a06e059fb61cf44;p=helm.git diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 6b43894be..93d7ec177 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -3,84 +3,84 @@
+ | ||
-
+
- |
-
-
+ + |
+
+
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 knowledge @@ -88,45 +88,47 @@ 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 standard for describing +Web resources at the general-purpose content level. - 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). - |
-