From: Ferruccio Guidi Date: Fri, 14 Mar 2003 18:41:12 +0000 (+0000) Subject: added: features and documentation X-Git-Tag: before_refactoring~115 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6a8fc63882863bde9f3fcac3c12b968a78638ac9;p=helm.git added: features and documentation --- diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html index b03b3d889..46c80bca3 100644 --- a/helm/mathql/homepage/documentation.html +++ b/helm/mathql/homepage/documentation.html @@ -2,75 +2,123 @@ MathQL - + - + - + - +

MathQL-1

- -

A query language for RDF metadata

+

A query language for RDF metadata

+ - - - + + - + - - - + +
+ All available information about MathQL-1 can be found in the papers below +(listed in order of relevance):
+
+
+ Papers concerning the latest version of MathQL-1:
+ + + + Papers concerning the erlier versions of MathQL-1:
+ + + + + + + + + + + +
- +
+ - + - - +
+
Documentation
-
-
-  
-
-
-
-
-
-
+
diff --git a/helm/mathql/homepage/features.html b/helm/mathql/homepage/features.html index c0a9733bd..e7ba6a0c7 100644 --- a/helm/mathql/homepage/features.html +++ b/helm/mathql/homepage/features.html @@ -2,75 +2,135 @@ MathQL - + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + + - - - - + + + +
    +
  1. Exploitation of constructions borrowed from programming languages +to allow sophisticated queries that need computation over the queried data. +In particular:
    +
    2. +
+
+ +
+ + +
- +
+ + +
    +
  • Features
    • + +
+ + - + - - 		+
Goals  and features
+
+
+ MathQL-1 is designed to achieve the following goals:
+
    +
  1. Exploitation of RDF technology +to manage metadata and compliance with the main requirements for an +RDF query language. In particular:
    2. +
+
+
    +
  • MathQL-1 provides facilities for hierarchical constraints based +on RDF Schema and for traversal +of compound values of properties.
    • +
+
    +
  • MathQL-1 provides a full set of Boolean operators to compose +query constraints and facilities for selecting URI's or literals by means +of regular expressions.
    • +
+
    +
  • MathQL-1 allows to customize the query results specifying what +part of a solution should be preserved or discarded.
    • +
+
    +
  • MathQL-1 has a well-conceived semantics defined in term of +an abstract metadata model, imposes that queries return exhaustive solutions +and includes a "select-from-where"-like construction.
    • +
+
    +
  • MathQL-1 supports a machine-processable XML syntax as well as a human-readable +textual syntax to achieve the best usability.
    • - -
- - +
+
    +
  1. Careful treatment of query results that are as important +as the queries themselves. In particular:
    +
    2. +
+
+
    +
  • MathQL-1 query results have a 4-dimensional geometry whereas +other languages assume that query results are returned in 1-dimensional structures +(ie lists of resources) or 2-dimensional structures (ie relational database +tables). This allows to get better outcomes from queries returning structured +results.
    • - -
-
-
-
Features
-
-
-  
-
-
-
-
-
-
+
diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 016efb3c4..a7c7cbc79 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -2,113 +2,116 @@ MathQL - + + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - + 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 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 +
+ 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.
+ href="http://www.w3.org/">W3C standartd 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, unification -and definitions expansion (MathQL-3).
-
-
-
- -
This site is maintained by Ferruccio Guidi, last update: - March 13, 2003.
-
-
+
+
+ +
This site is maintained by Ferruccio Guidi, last update: March +14, 2003.
+
+
+