X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Findex.html;h=769689e529ca5f79a3eb664f212db6bac85c7c19;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=93d7ec1777200752e07f9a9f2ffa0fef5a20c039;hpb=686e22323249fbfdaf21f53b5a11fe73df52f3b9;p=helm.git diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 93d7ec177..769689e52 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -3,84 +3,90 @@ MathQL - + - + + - + + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - + 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).
+ + + + +
+
- +
    -
  • Forward
    -
    • +
  • Forward
    +
    • - + +
- + - + - + - + - + - + -
- 		- +
+ 		+ +
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,50 +94,58 @@ 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 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).
-
-
-
- +
+
+
This site is maintained by Ferruccio Guidi, last update: July -30, 2003.
-
-
-
-
-
+ href="mailto://fguidi@cs.unibo.it">Ferruccio Guidi, last update: November +13, 2003.
+

+ +
Any Browswr + PNG used here +
+
+
+