• Carlos III Health Institute Featured PhD Programmes
  • London School of Economics and Political Science Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Bristol Featured PhD Programmes
  • University of Mannheim Featured PhD Programmes
  • University of Cambridge Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
University College London Featured PhD Programmes
University College London Featured PhD Programmes
University of Southampton Featured PhD Programmes
University of Bristol Featured PhD Programmes
University of Bristol 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 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.

References

2012 Distinguished Dissertation: Justification Based Explanation in Ontologies

http://academy.bcs.org/content/distinguished-dissertations-2012

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
Share this page:

Cookie Policy    X