Mobile menu icon
Mobile menu icon Search iconSearch
Search type

Department of Computer Science

Research projects

Find a postgraduate research project in your area of interest by exploring the research projects that we offer in the Department of Computer Science.

We have a broad range of research projects for which we are seeking doctoral students. Browse the list of projects on this page or follow the links below to find information on doctoral training opportunities, or applying for a postgraduate research programme.

Alternatively, if you would like to propose your own project then please include a research project proposal and the name of a possible supervisor with your application.

Available projects

Debugging and Repair Support for Ontology Developers

Primary supervisor

Contact admissions office

Other projects with the same supervisor


  • Competition Funded Project (Students Worldwide)

This research project is one of a number of projects at this institution. It is in competition for funding with one or more of these projects. Usually the project which receives the best applicant will be awarded the funding. Applications for this project are welcome from suitably qualified candidates worldwide. Funding may only be available to a limited set of nationalities and you should read the full department and project details for further information.

Project description

Ontologies are formal frameworks to organise information and are widely used to provide structured representation of large knowledge bases in fields such as artificial intelligence, semantic web, biomedical informatics, systems engineering and many more. Ontologies are used to define the meaning of concepts and describe properties and interrelationships between concepts. They provide compact representations of the knowledge about a domain, from which information can be inferred using reasoning. Given the nature of ontologies, ontology development is an exceedingly difficult and error-prone task.

The aim of this project is to support ontology engineers and users with new ways of debugging and analysing often very large ontologies. Concretely, the aim will be to develop abduction methods for expressive description logics in order to debug and repair ontologies. Abduction is the task of, given a set of observations and a knowledge base of background knowledge, finding a rational explanation for these observations. The project is expected to build on work conducted in the group for computing uniform interpolants of ontologies. Uniform interpolation and abduction are related problems.

Depending on the students interests the emphasis of the project could be on foundations and theory, it could be more user and application-focussed involving the exploration of particular use cases and applications, the focus could also be more programming intensive involving the development of an ontology debugging and repair toolkit for integration with existing APIs and ontology editors.

This project would suit a student interested in ontology-based knowledge processing and AI.