X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fdocumentation.html;fp=helm%2Fmathql%2Fhomepage%2Fdocumentation.html;h=0000000000000000000000000000000000000000;hp=e91e9a719e1c97e7b6f8099da77809fe6d83ed71;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html deleted file mode 100644 index e91e9a719..000000000 --- a/helm/mathql/homepage/documentation.html +++ /dev/null @@ -1,164 +0,0 @@ - - - - - - - - - - - - - - MathQL - - - - -

MathQL-1

- - - -

A query language for RDF metadata

- -
- - - - - - - - - - - -

-
- - Forward - - - - - Features - - - - - What's new - - - - - Documentation - - - - - Implementation - - - - - 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: - - - 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. - - - 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 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 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: 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. - - - - - 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. - - -

-
-
-
- -