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

这是一个非常重要的问题，也是一个非常重要的问题。我们在安文顿根建立的物流系统是最好的，也是最好的选择，也是最好的。现在，我们正在寻找一种新的方法来解决这些问题，并将这些问题转化为标准的技术问题。在此基础上，提出了一个新的原型评估方法。

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.