Model-driven interaction with ontologies
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 certain class, it seems however promising to make use of these models, i.e., to provide suitable descriptions of instances of this class. The aim of this PhD project is to explore how we can use models to interact with ontology engineers.
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