X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fdocumentation.html;h=45edae9d3fe11925329e5c56696334666c8b60c0;hb=f15a13bab100064a4da238cede323b8d4568c174;hp=268d88f4289f7445794c95cbc4b8fdf8c849ff36;hpb=61519a6ef507c1319be96c2f4a06e059fb61cf44;p=helm.git diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html index 268d88f42..45edae9d3 100644 --- a/helm/mathql/homepage/documentation.html +++ b/helm/mathql/homepage/documentation.html @@ -3,140 +3,160 @@ MathQL - + - + - + - +

MathQL-1

- -

A query language for RDF metadata

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

D. Lordi: Sperimentazione +e Sviluppo di Strumenti per la gestione di metadati. Master Thesis +in Computer Science, University of Bologna, 2002.

+
+ + + +

- +

+ +

Forward
-
Forward
+

- - + +

Features
Features

- - + +

What's new
What's new

- +

Documentation
Documentation

- + +

Implementation
-
Implementation
+

- + +

The authors
-
The authors
+

- + +

Links
-
Links
+

-
-

- +
+

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.
-
-
- Papers concerning the latest version of MathQL-1:
- + +
+ 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.
+
+
+ Papers concerning the latest version of MathQL-1:
+

F. Guidi: F. Guidi: Searching and Retrieving in Content-based Repositories of Formal Mathematical Knowledge. - Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical - report UBLCS 2003-06.

- +

F. Guidi and I. Schena: F. Guidi and I. Schena: A Query Language - for a Metadata Framework about Mathematical Resources. Presentation - at the 2nd International Conference on Mathematical Knowledge Management - (MKM 2003). Bertinoro, Italy, February 2003.
-

- Papers concerning the erlier 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, +
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.
F. Guidi and I. Schena: Advancement +on a Query Language for Metadata. Presentation at MOWGLI Meeting + July 2002. Eindhoven, the Netherlands.

- +

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.
L. Natile: Tecnologie +per l'Interrogazione di Basi Documentarie in Formato XML. 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.
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.

-
-

-
+
+
+