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

(1)在世界范围内，对人类的生存和发展有重要意义。insbesonere wurden hier sehr ausdrucksstarke logikenentwickelt， rdie es trotz ihrer hohen最坏情况Komplexität可重构算法（praktikable algorithm gibt）， deren hoch-optimierte Implementierungen siich in Anwendungen sehr gut verhalten。他认为，这是她的理论，在本体论和文文学上，在生物医学上，在存在性上，在存在性上，在存在性上，在存在性上，在存在性上。Derartige beschreibungloggiken verhalten sich aus komplexitätstheoretischer sight - viel besser也die entsprechenden loggiken mit werterstriktionen。insbesonere ermöglichen sie auch bei Anwesenheit von Terminologien and allgemeinen Konzeptinklusionsaxiomen noch多项式的包含算法。在此基础上，量子力学理论研究项目sollen Beschreibungslogiken mit existentiellen Quantoren sowothethe理论家也为实践物理学家（praktischer sivegener untersucht werden）提供了理论基础。模具在模具中的应用研究了多项式和夜多项式的包含问题。Zum anderen sollen Optimierungsansätze fr die polynomial subsumtionalgorithm entwickelt and grogroen biomedizinischen ontology - evaluation [j]。Außerdem wollen wir auch andere schlussfolgerungsproblem (wie das Instanz- und das Anfrageproblem) untersuchen sowie Beschreibungslogiken mit existentiellen Quantoren lokalisien, die zwar nicht mehr polynomial sind, aber doch Algorithmen zulassen, die sich besher verhalten als die bekannten Algorithmen fgr ausdrucksstarke Logiken

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