This PhD scholarship is associated with the new EPSRC-funded research project “quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data”. The research will take place under the direction of Professors Frank Wolter and Boris Konev and Dr Martin Zimmermann at the Department of Computer Science, University of Liverpool. This is a joint project with Professor Michael Zakharyaschev at University of London and with the following partners: Free University of Bolzano (Italy), Siemens (Germany), Sirius (Norway), J. Pilsudski Institute (US), and Siris Academic (Spain).
Ontology-based data management (OBDM) is a technology that has been developed over the past decade with the aim of facilitating access to various types of data sources. So far, OBDM has been developed primarily for access to purely qualitative and one-dimensional data, but nowadays data is mostly numerical, many-dimensional, often temporal, and user information needs usually involve quantitative analysis. The aim of this project is to develop a novel OBDM framework for querying and analysing many-dimensional numerical data. To address the challenges, we aim to bring together techniques from databases, knowledge representation, and formal methods, in particular temporal and modal logics, and develop these further. We aim to develop a theoretical framework for querying such data, develop tools for using this framework in practice, and test our tools with our partners . The PhD student on this project will have a good background in one of the following areas: computational logic, mathematical logic, databases, or knowledge representation and reasoning.