• University of Cambridge Featured PhD Programmes
  • University of East Anglia Featured PhD Programmes
  • University of Birmingham Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • Aberdeen University Featured PhD Programmes
  • Castelldefels School of Social Sciences Featured PhD Programmes
Durham University Featured PhD Programmes
Imperial College London Featured PhD Programmes
Coventry University Featured PhD Programmes
EPSRC Featured PhD Programmes
Coventry University Featured PhD Programmes

Explanation in Web Ontologies

This project is no longer listed in the FindAPhD
database and may not be available.

Click here to search the FindAPhD database
for PhD studentship opportunities
  • Full or part time
    Dr B Parsia
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

Ontologies are used in bio-health, e-science, and Semantic Web applications to capture the meaning of terms. With the advent of the W3C’s description-logic-based Web Ontology Language OWL, more ontologies are being created and used than ever before. Designing ontologies is a non-trivial task that requires sophisticated tool and service support. One of the most important services for logic based ontologies is the explanation of entailments (or non-entailments). That is, a user needs to understand why a reasoner claims that some fact follows from the ontology. Explanation has a been a rich area of research (the 2012 BCS Distinguish Dissertation award went to a Manchester PhD student studying explanation) and of practical application.

The aim of this PhD project is to advance our knowledge and use of explanation for ontology engineering. Specific topics including: optimising the computation of explanations, the investigation or invention of new forms of explanation, novel applications of explanations, and understanding the cognitive complexity of explanations.

Requirements: knowledge of (or willingness to learn about) first order and description logic, logic-based knowledge representation, ontologies; standard software development skills.


2012 Distinguished Dissertation: Justification Based Explanation in Ontologies


How good is research at University of Manchester in Computer Science and Informatics?

FTE Category A staff submitted: 44.86

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Cookie Policy    X