X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Findex.html;h=769689e529ca5f79a3eb664f212db6bac85c7c19;hb=d5c4930c5eb92a76731f6fb3c19a2a0b8c268ba0;hp=246e1734e29c16f99e86aa93863f825d31e13f99;hpb=a8c8b4a032d7947b5f46271d10af2f9b648ac35a;p=helm.git diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 246e1734e..769689e52 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -3,148 +3,149 @@
+ | ||
-
+
- |
-
+ + |
+
-
+
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 standard 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 standard 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, + 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). - |
-