From 61519a6ef507c1319be96c2f4a06e059fb61cf44 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 9 Jul 2003 16:33:36 +0000 Subject: [PATCH] implementation and whatsnew pages added --- helm/mathql/homepage/authors.html | 125 ++++++++------- helm/mathql/homepage/documentation.html | 183 +++++++++++---------- helm/mathql/homepage/features.html | 194 +++++++++++++---------- helm/mathql/homepage/implementation.html | 156 +++++++++++++----- helm/mathql/homepage/index.html | 163 ++++++++++--------- helm/mathql/homepage/links.html | 89 ++++++----- helm/mathql/homepage/whatsnew.html | 128 +++++++++++++++ 7 files changed, 659 insertions(+), 379 deletions(-) create mode 100644 helm/mathql/homepage/whatsnew.html diff --git a/helm/mathql/homepage/authors.html b/helm/mathql/homepage/authors.html index 1757797f9..ca698e3c5 100644 --- a/helm/mathql/homepage/authors.html +++ b/helm/mathql/homepage/authors.html @@ -2,89 +2,94 @@ MathQL - + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - + +
+ MathQL-1is developed by Ferruccio + Guidi and Irene Schena + at the Department of Computer Science + of the University of Bologna since April + 2002.
+
+ Ferruccio Guidi obtained a degree in Mathematics at the +Univerity of Padova and a PhD in Computer Science at the University of +Bologna. His research interests include computer-assisted proof development, + Martin-Löf type theory and substructural logic. He is a member of the + HELM Working Group and of the + "Paulus Venetus" Research +Group in Logic.
+
+ Irene Schena
+
+ Contacts:fguidi@cs.unibo.it, + schena@cs.unibo.it.
+ + + +
- +
+ - + - - + - + - +
    -
  • Links
    -
    • - +
  • The authors
    +
    • +
-
- 		+ + +
+
The authors
-
-
- MathQL-1is developed by Ferruccio -Guidi and Irene Schena -at the Department of Computer Science -of the University of Bologna since April -2002.
-
- Ferruccio Guidi obtained a degree in Mathematics at the -Univerity of Padova and a PhD in Computer Science at the University of -Bologna. His research interests include computer-assisted proof development, - Martin-Löf type theory and substructural logic. He is a member of -the HELM Working Group and -of the "Paulus Venetus" -Research Group in Logic.
-
- Irene Schena
-
- Contacts: fguidi@cs.unibo.it, - schena@cs.unibo.it.
-
-
-
+
+
+
diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html index 08696c392..268d88f42 100644 --- a/helm/mathql/homepage/documentation.html +++ b/helm/mathql/homepage/documentation.html @@ -2,127 +2,144 @@ MathQL - + + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - +
+ + + +
- +
+ - + + - + + - + - + - + -
- 		- + + +
+ 		+
Documentation
-
+ +
+ 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.

- 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 latest version of MathQL-1:
+ - + - Papers concerning the erlier versions of MathQL-1:
- + Papers concerning the erlier 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.
    • +
- +
    -
  • L. Natile: Tecnologie per l'Interrogazione di Basi Documentarie - in Formato XML. Master Thesis in Computer Science, University of Bologna, - 2002.
    • - +
  • L. Natile: Tecnologie per l'Interrogazione di Basi Documentarie + in Formato XML. Master Thesis in Computer Science, University of Bologna, + 2002.
    • +
- +
    -
  • A. Nediani: Disegno e Implementazione di un'Interfaccia -Web di Supporto ad Interrogazioni su Basi di Dati Documentarie. Master -Thesis in Computer Science, University of Bologna, 2003.
    • - +
  • A. Nediani: Disegno e Implementazione di un'Interfaccia + Web di Supporto ad Interrogazioni su Basi di Dati Documentarie. Master + Thesis in Computer Science, University of Bologna, 2003.
    • +
- +
    -
  • D. Lordi: Sperimentazione e Sviluppo di Strumenti per la - gestione di metadati. Master Thesis in Computer Science, University -of Bologna, 2002.
    -
    • - +
  • D. Lordi: Sperimentazione e Sviluppo di Strumenti per + la gestione di metadati. Master Thesis in Computer Science, University + of Bologna, 2002.
    • +
-
-
+
+
+
+


diff --git a/helm/mathql/homepage/features.html b/helm/mathql/homepage/features.html index ba266b5e8..12a6d7a50 100644 --- a/helm/mathql/homepage/features.html +++ b/helm/mathql/homepage/features.html @@ -2,135 +2,165 @@ MathQL - + - + - + - +

MathQL-1

- -

A query language for RDF metadata

+

A query language for RDF metadata

+ - - - + + - + - - + + + + +
- +
+ + +
    +
  • Features
- + - + - + - + - + -
- 		+
+
Goals  and features
-
-
- MathQL-1 is designed to achieve the following goals:
+ +
+ 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. +
  2. Exploitation of RDF technology + to manage metadata and compliance with the main requirements for +an RDF query language. In particular:
    3. +
-
+ +
    -
  • MathQL-1 provides facilities for hierarchical constraints based -on RDF Schema and for traversal -of compound values of properties.
    • +
  • 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 -the query constraints and facilities for selecting URI's or literals by means -of regular expressions.
    • +
  • MathQL-1 provides a full set of Boolean operators to compose + the 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 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 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 MathQL-1 supports a machine-processable XML syntax as well as a human-readable -textual syntax to achieve the best usability.
    -
    • + textual syntax to achieve the best usability.
    + +
-
+
+
    -
  1. Careful treatment of query results that are as important -as the queries themselves. In particular:
    -
    2. +
  2. Careful treatment of query results that are as important + as the queries themselves. In particular:
    +
    3. +
-
+ +
    -
  • 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.
    -
    • +
  • 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.
    +
    • +
+
    -
  • Besides the syntax for queries, MathQL-1 provides a syntax -for query results with its own rigorously defined semantics.
    -
    • +
  • Besides the syntax for queries, MathQL-1 provides a syntax + for query results with its own rigorously defined semantics.
    +
    • +
-
+
+
    -
  1. Exploitation of constructions borrowed from programming languages -to allow sophisticated queries that need computation over the queried data. -In particular:
    -
    2. +
  2. Exploitation of constructions borrowed from programming +languages to allow sophisticated queries that need computation over +the queried data. In particular:
    +
    3. +
-
+ +
    -
  • MathQL-1 supports variables for storing intermediate query -results, provides iterators over these results, has a conditional operator -and includes logging facilities for debugging purposes.
    • +
  • MathQL-1 supports variables for storing intermediate query + results, provides iterators over these results, has a conditional operator + and includes logging facilities for debugging purposes.
    • +
-
-
-
+
+
+
diff --git a/helm/mathql/homepage/implementation.html b/helm/mathql/homepage/implementation.html index 65aa79bd8..2d774a953 100644 --- a/helm/mathql/homepage/implementation.html +++ b/helm/mathql/homepage/implementation.html @@ -2,72 +2,152 @@ MathQL - + + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - +
- +
+ - + - + - + - + - + -
- 		+ + +
+ 		+
Implementation
-
-
-  
+ +  
+ The MathQL-1 Suite for HELM is implemented in Caml and is currently available through +the HELM CVS repository. + The Suite provides the following  software components:
+ +
    +
  1. The basic Caml package for MathQL-1 (mathql) + provides a HELM independent Caml +representation of queries and query results, plus some functions to convert +this representation in text and XML and viceversa.
    2. + +
+ +
    +
  1. The MathQL-1 interpreter (mathql_interpreter) + is HELM dependent just in the implementation of the property operator, + which still relies on the architecture of the relational database holding + HELM metadata. The HELM team is planning to remove this drawback in the +near future.
    2. + +
+ +
    +
  1. The HELM query generator (mathql_generator) + allows to build specific kinds of MathQL-1 queries, which are meaningful + in the context of HELM, starting from a high-level description of the wanted + results. These queries are descibed at an abstract level in the following + paper:
    2. + +
+ +
+
    +
  • F. Guidi and C. Sacerdoti Coen: Querying Distributed + Digital Libraries of Mathematics.
    +
    • + +
+
+ +
    +
  1. The testing software for the MathQL-1 Suite (mathql_test) + providides three textual interfaces (one for the basic package, one for +the interpreter and one for the query generator) with specific features meant + for testing.
    +
    2. + +
+ The current version of the Suite, realized entirely by F. Guidi, implements + MathQL-1 version 3 (i.e. MathQL-1.3). The newly implemented features, which + are not included in the ufficial documentation + yet, are reported in the What's new section.
+
+ The latest HELM + query engine (enter here +if you are behind a restrictive firewall), powered by MathQL-1.3, allows to +issue both user-defined queries and the specific queries produced by the +HELM query generator.
+
-
+
+
+
+
+
+
+



diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 6878d8580..6b43894be 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -3,73 +3,84 @@ MathQL - + - + - + - +

MathQL-1

- -

A query language for RDF metadata

+

A query language for RDF metadata

+ - - - + + - + - - - + 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.
+
+ 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
-
-
- 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 @@ -77,45 +88,47 @@ 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 +
+ 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.
-
- 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: May -27, 2003.
-
-
+ 27, 2003.
+
+ +
+


diff --git a/helm/mathql/homepage/links.html b/helm/mathql/homepage/links.html index 176a334d8..39f2db353 100644 --- a/helm/mathql/homepage/links.html +++ b/helm/mathql/homepage/links.html @@ -2,72 +2,79 @@ MathQL - + - + - + - +

MathQL-1

- -

A query language for RDF metadata

+

A query language for RDF metadata

+ - - - + + - + - - - + +
+
+ + + +
- +
+ + + - + - + - + - + - +
    -
  • Links
    -
    • - +
  • Links
    +
    • +
-
- 		+
+
Links
-
-
-
-
-
+
+
+



diff --git a/helm/mathql/homepage/whatsnew.html b/helm/mathql/homepage/whatsnew.html new file mode 100644 index 000000000..66285b900 --- /dev/null +++ b/helm/mathql/homepage/whatsnew.html @@ -0,0 +1,128 @@ + + + + MathQL + + + + + + + + + +

MathQL-1

+ +

A query language for RDF metadata

+ + + + + + + + + +
+ + + + + +
    +
  • What's new
    +
    • + +
+ + + + + + + + +
+ 		+ +
What's new
+
+
+ This page reports the newly implemented +features of MathQL-1 that are not included in the ufficial documentation yet.
+
+Changes and additions to MathQL-1 operators:
+
    +
  • The add operator now accepts a syntax extension allowing +to specify more than one explicit attribute group.
    • +
+
The syntax now is:
+
<query> := "add" [ "distr" ]? [ <groups> | +<avar> ] "in" <query>
+<groups> := <group> [ ";" <group> ]*
+<group> := <attribute> [ "," <attribute> ]*
+<attribute> := <value> "as" <path>
+
+Examples:
+the query add "1" as "a", "2" as "b" in subj "A" gives the result + "A" attr {"a"="1"; "b"="2"} while
+the query add "1" as "a"; "2" as "b" in subj "A" gives the result + "A" attr {"a"="1"}, {"b"="2"}.
+
+
    +
  • The new align operator takes an integer i (represented +as a string), a multiple string value v and returns the same v +where each string with length n < i is prefixed with i - n +spaces. The syntax of the add operator is:
    • +
+
<value> := "align" <string> "in" <value>
+
+This operators aligns strings containing numbers so that their alphabetic +order agrees with their numeric order.
+
+ +
    +
  • The intersect operator now intersects the attribute groups +of the mathing subject strings set-theoretically rather than making their +"Cartesian product". This semantics reduces the computational costs and makes +intersection the dual of union.
    • +
+
    +
  • The property operator now accepts more than one isfalse +clause to increase the complexity of the constraint condition used to filter +the query results. This feature is exploited in the queries produced by the + HELM query generator.
    +
    • +
+
+
+ + -- 2.39.2