X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Findex.html;h=2e86a4d40bf801d0e7fdf7437a7974d145e15d09;hb=31cc4bd8ed1af282238727b240333c24fb3aa74c;hp=6878d8580ce96f0353601dd0116df6254850b3df;hpb=f7bdbfc8befcf434994e1d9f5ad543613beccb7e;p=helm.git diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 6878d8580..2e86a4d40 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -3,119 +3,133 @@
- + | ||
+
+
- |
-
-
+
+
+
+ |
+
+
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 - 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. + + + 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. + + 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). + |
+