From: Ferruccio Guidi Date: Thu, 13 Mar 2003 14:00:31 +0000 (+0000) Subject: MathQL homepage added X-Git-Tag: V_0_0_4_2~6 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9f22237fa52f20bdfed254a9837f7ff05ba2c9bb;p=helm.git MathQL homepage added --- diff --git a/helm/mathql/homepage/authors.html b/helm/mathql/homepage/authors.html new file mode 100644 index 000000000..f5dbcbb00 --- /dev/null +++ b/helm/mathql/homepage/authors.html @@ -0,0 +1,94 @@ + + + + MathQL + + + + + + + + + +

MathQL-1

+ +

A query language for RDF metadata

+ + + + + + + + + +
+ + + + + + + + + +
    +
  • The authors
    +
    • + +
+ + +
+ 		+
The authors
+
+
+ MathQL-1is developed by Ferruccio +Guidi and Irene Schena +at the Computer Science Department +of the University of Bologna since April +2002.
+
+ Ferruccio Guidi obtained a degree in Mathematics at the Univerity + of Padova and now is a PhD student 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 new file mode 100644 index 000000000..b03b3d889 --- /dev/null +++ b/helm/mathql/homepage/documentation.html @@ -0,0 +1,76 @@ + + + + MathQL + + + + + + + + + +

MathQL-1

+ +

A query language for RDF metadata

+ + + + + + + + + +
+ + + + + +
    +
  • Documentation
    • + +
+ + + + + + +
+ 		+
Documentation
+
+
+  
+
+
+
+
+
+
+ + diff --git a/helm/mathql/homepage/features.html b/helm/mathql/homepage/features.html new file mode 100644 index 000000000..c0a9733bd --- /dev/null +++ b/helm/mathql/homepage/features.html @@ -0,0 +1,76 @@ + + + + MathQL + + + + + + + + + +

MathQL-1

+ +

A query language for RDF metadata

+ + + + + + + + + +
+ + + +
    +
  • Features
    • + +
+ + + + + + + + +
+ 		+
Features
+
+
+  
+
+
+
+
+
+
+ + diff --git a/helm/mathql/homepage/implementation.html b/helm/mathql/homepage/implementation.html new file mode 100644 index 000000000..65aa79bd8 --- /dev/null +++ b/helm/mathql/homepage/implementation.html @@ -0,0 +1,76 @@ + + + + MathQL + + + + + + + + + +

MathQL-1

+ +

A query language for RDF metadata

+ + + + + + + + + +
+ + + + + + + +
    +
  • Implementation
    +
    • + +
+ + + + +
+ 		+
Implementation
+
+
+  
+
+
+
+
+
+
+ + diff --git a/helm/mathql/homepage/index.html b/helm/mathql/homepage/index.html new file mode 100644 index 000000000..016efb3c4 --- /dev/null +++ b/helm/mathql/homepage/index.html @@ -0,0 +1,114 @@ + + + + MathQL + + + + + + + + + +

MathQL-1

+ +

A query language for RDF metadata

+ + + + + + + + + +
+ +
    +
  • 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 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: + March 13, 2003.
+
+
+ + diff --git a/helm/mathql/homepage/links.html b/helm/mathql/homepage/links.html new file mode 100644 index 000000000..176a334d8 --- /dev/null +++ b/helm/mathql/homepage/links.html @@ -0,0 +1,76 @@ + + + + MathQL + + + + + + + + + +

MathQL-1

+ +

A query language for RDF metadata

+ + + + + + + + + +
+ + + + + + + + + + + +
    +
  • Links
    +
    • + +
+
+ 		+
Links
+
+
+
+
+
+
+
+
+
+ +