Prof U Sattler
Applications accepted all year round
Competition Funded PhD Project (Students Worldwide)
About the Project
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. This semantics is defined in terms of models, i.e., interpretations that satisfy the axioms in an ontology. Standard ontology editors interact with users on an ’axiom’ level and not via models. For certain engineering tasks, for example to check what the ontology says about a class, say ’rabbit’, it seems promising to make use of these models, i.e., to provide suitable descriptions of instances of ’rabbit’. The aim of this PhD project is to explore how we can use models to interact with ontology engineers.
We have investigated this idea in our Supermodel project, and it seems to be promising yet of interesting complexity due to the number and size of models available, and due to the fact that, in general, an ontology doesn’t describe how a ’typical rabbit’ would like.
Requirements: knowledge of (or willingness to learn about) first order and description logic, logic-based knowledge representation, ontologies; standard software development skills.
Funding Notes
Candidates who have been offered a place to study in the School of Computer Science may be considered for funding by the School. Further details on School funding can be found here: http://www.cs.manchester.ac.uk/study/postgraduate-research/funding/.
References
Supervisor's Webpage: http://www.cs.man.ac.uk/~sattler/
Supermodel: http://www.cs.man.ac.uk/~bauerj/supermodel/