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

• Applicant: Professor Dr.-Ing. Franz Baader
• Subject Area: Theoretical Computer Science
• Term: from 2000 to 2007
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5272166

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.

• DFG Programme: Research Grants