Model-driven interaction with ontologies.

Primary supervisor

Additional information

Contact admissions office

Other projects with the same supervisor


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

▲ Up to the top