Skip to content Search
Search our website:

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).

Group Members

Andrea Calì

Andrea Calì

  • Senior Lecturer
  • Research areas: Knowledge representation and management, semantic information integration, deep web querying
Jan Hidders

Jan Hidders

  • 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
Roman Kontchakov

Roman Kontchakov

  • Reader in Computer Science
  • Research areas: Knowledge representation and reasoning, description logic, spatial logic, semantic web
Alexandra Poulovassilis

Alexandra Poulovassilis

  • Emeritus Professor of Computer Science
  • Research areas: Data management, querying, analysis, integration and visualisation; learning environments; learning analytics; adaptation and personalisation
Vladislav Ryzhikov

Vladislav Ryzhikov

  • Lecturer
  • Research areas: Knowledge representation and reasoning, temporal and spatial data, temporal logics, semantic web, description logics, conceptual modelling
Peter Wood

Peter Wood

  • Professor of Computer Science, Director of Postgraduate Studies
  • Research areas: Data management, data querying, query optimisation, rule languages, graph databases
Michael Zakharyaschev

Michael Zakharyaschev

  • Professor of Computer Science, Director of Research
  • Research areas: Knowledge representation and reasoning, logic, ontology-based data access, semantic web