X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fdocumentation.html;h=e91e9a719e1c97e7b6f8099da77809fe6d83ed71;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=7c00983d20203d470085de1687b16602a6d3cb08;hpb=9b39850df645df05ba61dd2857c0d1e13b409533;p=helm.git diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html index 7c00983d2..e91e9a719 100644 --- a/helm/mathql/homepage/documentation.html +++ b/helm/mathql/homepage/documentation.html @@ -1,165 +1,163 @@ - + - MathQL - - + + + - + - + + + + MathQL - -

MathQL-1

- -

A query language for RDF metadata

- - +

MathQL-1

+ + + +

A query language for RDF metadata

+ +
+ +

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

+
- - +
- Forward - - - + Forward + - - + - Features - - + Features + - - + + + What's new + + + - What's new - + Documentation + - + - Documentation - - + Implementation + - - + - Implementation - - - + The authors + - - + - The authors - - - + 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 developement version of MathQL-1: + - Links - - - + F. Guidi: Reperimento + delle Informazioni nelle Librerie Digitali Distribuite di Conoscenza Matematica + Formale. Presentation at McTati Meeting November 2003. Bologna. +Italy. Italian version. + + The English version will be available soon. + - -	- - 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: - + Papers concerning the latest stable version of MathQL-1: + - 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: 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: 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. - - + 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, -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. + - + - F. Guidi and I. Schena: Advancement -on a Query Language for Metadata. Presentation at MOWGLI Meeting - July 2002. Eindhoven, the Netherlands. - + F. Guidi and I. Schena: Advancement on + a Query Language for Metadata. Presentation at MOWGLI Meeting July + 2002. Eindhoven, the Netherlands. + - + - 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. + - -

-
-
-
-

-