Project ideas for Part II / Part III / MPhil ACS
Deduction rules for ontology reasoning
Debugging ontologies is a difficult and time-consuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ontology developers and domain experts. This is due to the fact that these services often lack efficiency or precision when explaining the main causes for the bug. To make this task more effective, some have sought the solution in finding common deduction patterns that can be used in combination with these tools to explain how the bug has come about. The aim of this project is to find statical evidence for how common these deduction patterns are.
The ideal candidate for this project will have good programming skills (preferred programming language: Java). Also good knowledge of logic is required.
Human-Style output for interactive theorem proving (Part III / MPhil Only)
Smart devices are an avoidable part of our lives nowadays. Ensuring that these devices behave in a desirable way, whilst autonomous, is a challenging task. Theorem provers are dominantly used to ensure formal properties and behaviour of software systems used in smart devices. But how reliable are the proofs of properties by theorem provers? How can a human user scrutinise their solutions? Get in touch if you want to be a part of an exciting project that generates human-style output for a theorem prover. The output acts not only as accessible certification of correctness but also as explanation.
The ideal candidate for this project will have a good knowledge of logic and also concrete programming skills (preferred programming language: Java).
Data visualisation in ontologies
Diagrams are widely used to visualise structured and interconnected data in different domains. Ontologies as formal knowledge representation tools are commonly used, in particular in industry, to bring some structure to the increasing amount of data we generate day after day; the more the amount and complexity of the data the greater the need for tools that facilitate comprehending and reasoning with ontologies. Visualisation of ontologies has proven to be a significant facilitator. Existing ontology visualisations tools however, leave a lot to desire in terms of formality and accessibility to the user. This project involves visualising ontologies in a novel readily accessible way.
The ideal candidate for this project will have prior experience in graphics/UI programming (preferred programming language: Java). Also good knowledge of logic is required.