Towards a heterogeneous query language for mathematical knowledge

Bercic K, Kohlhase M, Rabe F (2020)

Publication Type: Conference contribution

Publication year: 2020

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: Springer

Book Volume: 12236 LNAI

Pages Range: 39-54

Conference Proceedings Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Event location: Bertinoro IT

ISBN: 9783030535179

DOI: 10.1007/978-3-030-53518-6_3

Abstract

With more than 120.000 articles published annually in mathematical journals alone, mathematical search has often been touted as a killer application of computer-supported mathematics. But the artefacts of mathematics – e.g. mathematical documents, formulas, examples, algorithms, concrete data sets, or semantic web-style graph abstractions – that should be searched cover a variety of aspects. All are organized in complex ways and offer distinct challenges and techniques for search. Existing representation languages, the corresponding query languages and search systems usually concentrate on only one of these aspects. As a consequence, each system only partially covers the information retrieval needs of mathematical practitioners, and integrated solutions allowing multi-aspect queries are rare and basic. We present an architecture for a generic multi-aspect search system and analyze the requirements on paradigmatic practical information retrieval needs.

Authors with CRIS profile

Katja Bercic Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Bercic, K., Kohlhase, M., & Rabe, F. (2020). Towards a heterogeneous query language for mathematical knowledge. In Christoph Benzmüller, Bruce Miller (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 39-54). Bertinoro, IT: Springer.

MLA:

Bercic, Katja, Michael Kohlhase, and Florian Rabe. "Towards a heterogeneous query language for mathematical knowledge." Proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, Bertinoro Ed. Christoph Benzmüller, Bruce Miller, Springer, 2020. 39-54.

BibTeX: Download