Logic-based ontology languages, such as OWL, are proliferating in many applications and application domains, particularly in biology and medicine. The success of OWL can be largely attributed to automated reasoning support, which can help analysing consequences of axioms in ontologies. Despite many advances in this area, reasoning support for the development of comprehensive ontologies, such as SNOMED CT is still limited. In particular, many complex aspects of ontology development have been largely ignored in the research. This project is concerned with studying ontology reasoning procedures that take these aspects into account:

• Dealing with dynamically changing ontologies: how to perform standard reasoning tasks incrementally over changing ontologies by recomputing only results that depend on the changed input;
• Reasoning support for collaborative ontology development: how to analyse the consequences of changes made by individual developers and make sure that the work of other developers remains unaffected;
• Reasoning over distributed ontologies: how to perform local reasoning tasks when the ontology is distributed over several sites

Project period: 2012 to 2017.

• Yevgeny Kazakov (principal investigator)
• Pavel Klinov (scientific staff, 2012-2015)
• Peter Skocovsky (scientific staff, 2015-2017)