<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">
<!--
p
{margin-top:0;
margin-bottom:0}
p
{margin-top:0;
margin-bottom:0}
p
{margin-top:0;
margin-bottom:0}
-->
P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><br>
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<div>
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<div>
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<div>
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
The University of Liverpool, Department of Computer Science, invites applications for a
<br>
<br>
Postdoctoral Research Associate Position<br>
<br>
in the EPSRC-funded project <br>
<br>
Islands of Tractability in Ontology-Based Data Access<br>
<br>
The position is available for three years starting July 1st, 2015.<br>
<br>
The research associate will work under the supervision of Professor Frank Wolter in a joint<br>
project with Dr Boris Konev and Dr Andre Hernich. The project involves close collaboration<br>
with the project partner at Birkbeck College, University of London (Professor Michael Zakharyaschev,
<br>
Dr Roman Kontchakov, and Dr Igor Razgon). Other partners include Bremen (Professor Carsten Lutz),<br>
Bolzano (Professor Diego Calvanese), IBM Watson (Dr Mariano Rodriguez Muro), and Oslo (Arild Waaler).<br>
<p class="MsoNormal"><br>
</p>
<p class="MsoNormal">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:</p>
<p class="MsoNormal"> </p>
<ul style="margin-top: 0cm;" type="disc">
<li class="MsoNormal" style="">Classify ontology-mediated queries in rich ontology and query languages with respect to data complexity and rewritability type.
</li></ul>
<ul style="margin-top: 0cm;" type="disc">
<li class="MsoNormal" style="">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.
<br>
</li></ul>
<ul style="margin-top: 0cm;" type="disc">
<li class="MsoNormal" style="">Develop uniformly efficient ontology-mediated query answering techniques for the identified islands.
</li></ul>
<ul style="margin-top: 0cm;" type="disc">
<li class="MsoNormal" style="">Implement these ontology-mediated query answering techniques, using state-of-the-art ontology-based data access systems.
<br>
</li></ul>
<ul style="margin-top: 0cm;" type="disc">
<li class="MsoNormal" style="">Apply the developed technology to case studies from oil and gas industry and healthcare.</li></ul>
<p class="MsoNormal"> </p>
The Research Associate will have a PhD in Computer Science, Logic, or Mathematics and expertise in
<br>
knowledge representation and reasoning, computational logic, or database theory.<br>
<br>
For details on how to apply visit<br>
<br>
http://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-587876/ <br>
<br>
Please contact Frank Wolter (wolter@liverpool.ac.uk) for further information.<br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>