Modular ontology development and maintenance
Ontologies are used in bio-health, e-science, and Semantic Web applications to capture the meaning of terms. Designing ontologies is a non-trivial task that requires sophisticated tool support. Ontology languages are based on (Description) Logics, and thus this tool support can and must take into account the underlying semantics of an ontology. Recently, various notions of ontology modules have been developed, and algorithms for extracting modules from ontologies have been designed. Clearly, this implies that one should now try to support modular design and re-use of ontologies, and exploit modules for various other ontology engineering tasks such as reasoning, visualisation, analysis, etc. The aim of this PhD project is to analyse the different notions of modularity in ontologies, develop tool support for modular ontology engineering, and investigate the suitability of modularity for various ontology engineering tasks.
Requirements: knowledge of (or willingness to learn about) first order and description logic, logic-based knowledge representation, ontologies; standard software development skills.
The School has full scholarship opportunities for home and EU students. For international students, the School has fees contribution awards. These awards are awarded on a competitive basis.
Further information on funding can be found here: http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding/
The minimum requirements to get a place in our PhD programme are available from:
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