Modular ontology development and maintenance

Primary supervisor

Additional information

Contact admissions office

Other projects with the same supervisor

Funding

  • 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 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.

▲ Up to the top