Beschreibungslogiken mit existentiellen Quantoren und polynominellen Subsumtionsproblem und ihre Anwendung im Bereich biomedizinischer Ontologien

存在量词和多项式包含问题的描述逻辑及其在生物医学本体领域的应用

• 批准号: 24881586
• 负责人: Professor Dr.-Ing. Franz Baader
• 金额: --
• 依托单位: Professur für Automatentheorie
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/24881586?language=en
• 关键词: Beschreibungslogiken; mit; existentiellen; Quantoren; und

Beschreibungslogiken, die Werterestriktionen (universelle Quantoren) zulassen, sind inzwischen wohl-untersucht. Insbesondere wurden hier sehr ausdrucksstarke Logiken entwickelt, für die es trotz ihrer hohen worst-case Komplexität praktikable Algorithmen gibt, deren hoch-optimierte Implementierungen sich in Anwendungen sehr gut verhalten. Es hat sich aber herausgestellt, dass in Ontologieanwendungen, insbesondere im biomedizinischen Bereich, ausdrucksschwache Logiken mit existentiellen Quantoren, aber ohne Werterestriktionen, ausreichen. Derartige Beschreibungslogiken verhalten sich aus komplexitätstheoretischer Sicht viel besser als die entsprechenden Logiken mit Werterestriktionen. Insbesondere ermöglichen sie auch bei Anwesenheit von Terminologien und allgemeinen Konzeptinklusionsaxiomen noch polynomielle Subsumtionsalgorithmen. In diesem Projekt sollen Beschreibungslogiken mit existentiellen Quantoren sowohl aus theoretischer als auch aus praktischer Sicht genauer untersucht werden. Dies beinhaltet zum einen die genaue Erforschung der Grenze zwischen Logiken mit polynomiellem und nicht-polynomiellem Subsumtionsproblem. Zum anderen sollen Optimierungsansätze für die polynomiellen Subsumtionsalgorithmen entwickelt und an großen biomedizinischen Ontologien evaluiert werden. Außerdem wollen wir auch andere Schlussfolgerungsprobleme (wie das Instanz- und das Anfrageproblem) untersuchen sowie Beschreibungslogiken mit existentiellen Quantoren lokalisieren, die zwar nicht mehr polynomiell sind, aber doch Algorithmen zulassen, die sich besser verhalten als die bekannten Algorithmen für ausdrucksstarke Logiken

Beschreibungslogiken、die Werterestriktionen (universelle Quantoren) zulassen、sind inzwischen wohl-untersucht。 Insbesondere wurden hier sehr ausdrucksstarke logiken entwickelt, for die es trotz ihrer hohenmost-case Komplexität praktikable Algorithmen gibt, deren Hoch-optimierte Implementierungen sich in Anwendungen sehr gut verhalten.这是一种本体论研究，是生物医学研究中的一种方法，是一种与存在的逻辑相关的逻辑，是一种关于知识的方法。设计逻辑的复杂性在于其理论的复杂性，它可以更好地解释逻辑的含义。 Insbesondere ermöglichen sie auch bei Anwesenheit von Terminologien und allgemeinen Konzeptinklusionsaxiomen noch Polynomielle Subsumtionsalgorithmen。在这个项目中，所有的理论和实践都存在于现实中。该问题涉及多项式和非多项式求和问题。在此基础上，我们提出了多项式的优化算法，以及对生物医学本体论进行评估的方法。解决所有的问题和解决问题（即即时性和冲突性问题）时，必须了解现有的全局变量、非多项式多项式、最佳算法、最佳解决方案 说明 Logiken 的算法