From: Ferruccio Guidi Date: Thu, 13 Nov 2003 11:37:31 +0000 (+0000) Subject: updated X-Git-Tag: V_0_2_2~25 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c42ac133fee3d773717d89292e0bcece6e7a57d8;p=helm.git updated --- diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html index ecdd963b7..51f91c8bd 100644 --- a/helm/mathql/homepage/documentation.html +++ b/helm/mathql/homepage/documentation.html @@ -1,156 +1,161 @@ - + - + - + - + - + MathQL - -
+ +

MathQL-1

-
- -
+
+ +

A query language for RDF metadata

-
-
+
+
+ - - + + - - + - + - - - + + + +

-
+
+
- + - + - +
    -
  • Documentation
    • - +
  • Documentation
    • +
- + - + - + - 		+
Documentation
- +


-All available information about MathQL-1 can be found in the papers below + All available information about MathQL-1 can be found in the papers below (listed in order of relevance).
-The newest features of MathQL-1, which are not included in this documentation, -are reported in the What's new section.

+ The newest features of MathQL-1, which are not included in this documentation, + are reported in the What's new section.

+

Papers concerning the developement version of MathQL-1:

+ - Papers concerning the latest stable version of MathQL-1: + Papers concerning the latest stable version of MathQL-1: - + - Papers concerning the earlier versions of MathQL-1: + Papers concerning the earlier versions of MathQL-1:
    -
  • F. Guidi and I. Schena: A Query Language for a Metadata Framework -about Mathematical Resources. In Proc. of the 2nd International Conference -on Mathematical Knowledge Management (MKM 2003). Bertinoro, Italy, February -2003. LNCS 2594, pages 105-118, Springer. 2003.
    • - +
  • F. Guidi and I. Schena: A Query Language for a Metadata Framework +about Mathematical Resources. In Proc. of the 2nd International Conference + on Mathematical Knowledge Management (MKM 2003). Bertinoro, Italy, February + 2003. LNCS 2594, pages 105-118, Springer. 2003.
    • +
- + - + - + - + -
-
+
+
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 @@ MathQL - + - - + + - - + + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - - + + + + +
+
- +
    -
  • Forward
    -
    • +
  • Forward
    +
    • - +
- + - + - + - + - + - + -
- 		+
+ 		- +
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).
-
-
-
- +
+
+
This site is maintained by Ferruccio Guidi, last update: November - 5, 2003.
-
+13, 2003.
+ +

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