Live Ontologies - Reasoning Support for the Development of Distributed and Dynamically Changing OWL Ontologies

基于逻辑的本体语言，如OWL，在许多应用和应用领域，特别是在生物学和医学中激增。OWL的成功很大程度上归功于自动推理支持，它可以帮助分析本体中公理的结果。尽管在这方面取得了许多进展，推理支持的发展，全面的本体，如SNOMED CT仍然是有限的。特别是，本体开发的许多复杂方面在很大程度上被忽视的研究。本计画主要研究本体论的推理程序，并将这些方面考虑在内：1。处理动态变化的本体：如何通过只重新计算依赖于变化的输入的结果来增量地在变化的本体上执行标准推理任务; 2。协同本体开发的推理支持：如何分析单个开发人员所做更改的后果，并确保其他开发人员的工作不受影响; 3。分布式本体上的推理：当本体分布在多个站点时，如何执行本地推理任务。

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: 1. 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; 2. 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; 3. Reasoning over distributed ontologies: how to perform local reasoning tasks when the ontology is distributed over several sites.