X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Findex.html;fp=helm%2Fmathql%2Fhomepage%2Findex.html;h=0000000000000000000000000000000000000000;hp=769689e529ca5f79a3eb664f212db6bac85c7c19;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html deleted file mode 100644 index 769689e52..000000000 --- a/helm/mathql/homepage/index.html +++ /dev/null @@ -1,151 +0,0 @@ - - -
-
-
-
-
- |
-
-
-
- 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. - - 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). - |
-