From 5f240d0c42f1729689be272852083ecfb297a8e1 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 10 Jul 2003 10:47:19 +0000 Subject: [PATCH] links page added --- helm/mathql/homepage/index.html | 165 ++++++++++++++-------------- helm/mathql/homepage/links.html | 123 ++++++++++++--------- helm/mathql/homepage/whatsnew.html | 171 ++++++++++++++++------------- 3 files changed, 247 insertions(+), 212 deletions(-) diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html index 6b43894be..2e86a4d40 100644 --- a/helm/mathql/homepage/index.html +++ b/helm/mathql/homepage/index.html @@ -3,130 +3,131 @@ 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 standartd for describing Web + +
+ 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.

- 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 + 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.
-
-
+ href="mailto://fguidi@cs.unibo.it">Ferruccio Guidi, last update: July +10, 2003.
+
+ +



diff --git a/helm/mathql/homepage/links.html b/helm/mathql/homepage/links.html index 39f2db353..caf6a0380 100644 --- a/helm/mathql/homepage/links.html +++ b/helm/mathql/homepage/links.html @@ -2,82 +2,103 @@ MathQL - + - + - + - +

MathQL-1

- -

A query language for RDF metadata

+

A query language for RDF metadata

+ - - - + + - + - - - + + + + + + +
DAML+OIL   rdfDB   RDFPath   RDFQL   RDQL   RQL   RuleML   TRIPLE   SquishQL   XDD
+
+ +
Developers wishing to have their RDF query language listed +here may contact the authors.
+
+ + + +
- +
+ - + - + - + - + - + - +
    -
  • Links
    -
    • - +
  • Links
    +
    • +
-
- 		+
+ 		+
Links
-
-
-
-
-
-
-
-
-
-
-
+
diff --git a/helm/mathql/homepage/whatsnew.html b/helm/mathql/homepage/whatsnew.html index 66285b900..72b12ff7c 100644 --- a/helm/mathql/homepage/whatsnew.html +++ b/helm/mathql/homepage/whatsnew.html @@ -2,127 +2,140 @@ MathQL - + + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - + + + +
- +
+ - + - +
    -
  • What's new
    -
    • - +
  • What's new
    +
    • +
- + - + - + - + -
- 		- +
+ 		+
What's new
-
-
- This page reports the newly implemented -features of MathQL-1 that are not included in the ufficial + + 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:
+
+ Changes and additions to MathQL-1 operators:
+
    -
  • The add operator now accepts a syntax extension allowing +
  • 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 + +
<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 + 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 +
  • 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 +
+ 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 +
  • 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.
    -
    • +
  • The property operator now accepts more than one isfalse +clause to increase the complexity of the constraint condition used to filter +the raw query results. This feature is exploited in the queries produced +by the HELM query generator. +
    +
    • +
-
-
+
+
-- 2.39.2