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=8eea770f740eeb1068237056dcfaa469b1d82a39;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html deleted file mode 100644 index 8eea770f7..000000000 --- a/helm/mathql/homepage/documentation.html +++ /dev/null @@ -1,155 +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 latest 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 erlier 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.

-
-

-
-
-
-
-
-
-
- -