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

• Antragsteller: Professor Dr.-Ing. Franz Baader
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2000 bis 2007
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen