Searching and retrieving in content-based repositories of formal mathematical knowledge

Guidi, Ferruccio (2003) Searching and retrieving in content-based repositories of formal mathematical knowledge, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 15 Ciclo. DOI 10.6092/unibo/amsdottorato/7197.
Documenti full-text disponibili:
Documento PDF (English) - Richiede un lettore di PDF come Xpdf o Adobe Acrobat Reader
Download (698kB) | Anteprima


In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

Tipologia del documento
Tesi di dottorato
Guidi, Ferruccio
Dottorato di ricerca
Settore disciplinare
Settore concorsuale
Parole chiave
query language, resource description framework, formal mathematical knowledge
Data di discussione
3 Aprile 2003

Altri metadati

Statistica sui download

Gestione del documento: Visualizza la tesi