[DL] Postdoc Position in Liverpool

Wolter, Frank wolter at liverpool.ac.uk
Tue Mar 31 12:57:41 CEST 2015

The University of Liverpool, Department of Computer Science, invites applications for a

Postdoctoral Research Associate Position

in the EPSRC-funded project

Islands of Tractability in Ontology-Based Data Access

The position is available for three years starting July 1st, 2015.

The research associate will work under the supervision of Professor Frank Wolter in a joint
project with Dr Boris Konev and Dr Andre Hernich. The project involves close collaboration
with the project partner at Birkbeck College, University of London (Professor Michael Zakharyaschev,
Dr Roman Kontchakov, and Dr Igor Razgon). Other partners include Bremen (Professor Carsten Lutz),
Bolzano (Professor Diego Calvanese), IBM Watson (Dr Mariano Rodriguez Muro), and Oslo (Arild Waaler).

Research Description: Using ontologies to access data and thereby directly combining data and knowledge is a novel idea. First applications have demonstrated that ontology-based data access and management is indeed feasible and has the potential to revolutionise modern information systems. However, scalability of query answering with expressive ontology languages remains a big challenge and it is the aim of this project to develop a new "island of tractability" approach to tackle it. The research associate will contribute to this project by working on an appropriate subset of the following problems:

  *   Classify ontology-mediated queries in rich ontology and query languages with respect to data complexity and rewritability type.

  *   Identify "islands of tractable" ontology-mediated queries in rich ontology and query languages using techniques from constraint satisfaction problems (CSPs), Boolean circuit complexity and parameterised complexity.

  *   Develop uniformly efficient ontology-mediated query answering techniques for the identified islands.

  *   Implement these ontology-mediated query answering techniques, using state-of-the-art ontology-based data access systems.

  *   Apply the developed technology to case studies from oil and gas industry and healthcare.

The Research Associate will have a PhD in Computer Science, Logic, or Mathematics and expertise in
knowledge representation and reasoning, computational logic, or database theory.

For details on how to apply visit


Please contact Frank Wolter (wolter at liverpool.ac.uk) for further information.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20150331/6d5f1a04/attachment.html>

More information about the dl mailing list