Neuartige Schlussfolgerungsverfahren zur Unterstützung des Aufbaus und der Wartung von Wissensbasen in Beschreibungslogiken

支持描述逻辑知识库构建和维护的新颖推理技术

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

Die Standardschlussfolgerungsprobleme in Beschreibungslogiken (wie dasSubsumtions- und das Instanzproblem) sind in den letzten 15 Jahren sowohl aus theoretischer als auch praktischer Sicht sehr ausführlich untersucht worden. Beim Einsatz beschreibungslogischer Systeme in Anwendungen hat sich aber gezeigt, dass für die optimale Unterstützung des Aufbaus und der Wartung grosser Wissensbasen weitere (nicht-standard) Schlussfolgerungsverfahren nötig sind. Ziel dieses Vorhabens ist es zum einen, die wichtigsten dieser neuartigen Schlussfolgerungsprobleme bezüglich ihrer formalen Eigenschaften (wie z.B. Komplexität) zu untersuchen, um hierfür einen Stand der Forschung zu erreichen, der dem für die Standardschlussfolgerungsprobleme entspricht. Zum anderen sollen die dabei entwickelten neuen Schlussfolgerungsverfahren implementiert und an einem einheitlichen Anwendungsszenario (aus dem Bereich der Modellierung verfahrenstechnischer Prozesse) prototypisch evaluiert werden.

Die standardschlussfolgerungsproblem in Beschreibungslogiken（即包含问题和实例问题）和den letzten（即包含问题和实例问题）。beinsatz beschreibunglogischer system in Anwendungen, sich aber gezeigt, dass fteroptimale untersttzung des Aufbaus und der Wartung grosser wissenbasen weitere（夜间标准）Schlussfolgerungsverfahren nötig sind。Ziel dieses Vorhabens ist es zum einen, die wichtigsten dieser neuartigen Schlussfolgerungsprobleme bezglich ihrer formalen Eigenschaften (wie z.B. Komplexität) zu untersuchen, um hierfereinen Stand der Forschung zu erreichen, der dem feredie Standardschlussfolgerungsprobleme entspright。Zum anderen solen die dabei entwickelten neen Schlussfolgerungsverfahren implementient and einem einheitlichen Anwendungsszenario （aus dem Bereich der Modellierung verfahrenstechnischer Prozesse）原型评估werden。