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

实时本体 - 对分布式和动态变化的 OWL 本体开发的推理支持

• 批准号: 203848550
• 负责人: Dr. Yevgeny Kazakov
• 金额: --
• 依托单位: Institut für Künstliche Intelligenz (KI)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2011
• 资助国家: 德国
• 起止时间: 2010-12-31 至 2017-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/203848550?language=en
• 关键词: Live; Ontologies; Reasoning; Support; Development

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.

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