Knowledge Representation and Data Management Research Group
The KRDM research group addresses challenges arising from managing, accessing and exploiting heterogeneous high-volume data, with particular focus on logic-based approaches, database theory and related computational complexity problems, and graph data management.
Since REF2014 we have published 70+ journal and 170+ conference papers, including in highly prestigious venues such as JACM (2 papers), AIJ(5), TOCL(4), LMCS(2), JAIR(2), PODS(5), ICDT(3), IJCAI(7), LICS(6).
Ground-breaking advances have been made in first-order model checking in the context of database theory, logic and complexity (H.Chen); complexity and succinctness theory for ontology-based data access (OBDA); foundations of temporal OBDA; and game-theoretic characterisations of query inseparability and of the Horn fragments of description and first-order guarded logics (Kontchakov, Ryzhikov, Zakharyaschev). Fundamental advances have been made in flexible processing of graph queries (Cali, Poulovassilis, Wood); quality-driven data integration (Martin, Poulovassilis); designing the first logic-based language for JSON transformation and querying (Hidders); and axiomatising and classifying algebras of functions with composition and (anti)domain/range – an emergent tool in program verification (Mikulas).
- Senior Lecturer Research areas: Knowledge representation and management, semantic information integration, deep web querying
- Lecturer Research areas: Graph databases, graph indexing, graph query languages, graph schema languages, graph analytics, JSON query languages, JSON schema languages, conceptual data modelling, data integration, fact-based modelling
- Reader in Computer Science Research areas: Knowledge representation and reasoning, description logic, spatial logic, semantic web
- Emeritus Professor of Computer Science Research areas: Data management, querying, analysis, integration and visualisation; learning environments; learning analytics; adaptation and personalisation
- Lecturer Research areas: Knowledge representation and reasoning, temporal and spatial data, temporal logics, semantic web, description logics, conceptual modelling
- Professor of Computer Science, Director of Postgraduate Studies Research areas: Data management, data querying, query optimisation, rule languages, graph databases