Informatisches Kolloquium WiSe 2001/2002

Prof. Dr. Hans Jürgen Ohlbach
Ludwig-Maximilians-Universität
München

Ontologiesprachen und Optimierung

Ontologiesprachen sind formale Systeme, mit denen man Begriffsbildungen und deren Beziehungen spezifizieren kann. Prominente Beispiele sind Beschreibungslogiken (engl. Description Logics). Die Entwicklung des Internets macht es wünschenswert, unterschiedliche Anwendungen miteinander zu verkoppeln. Damit diese Anwendungen sich auf die gleichen Interpretationen von Begriffen beziehen können, spielen Ontologien eine immer größere Rolle.

In dem Vortrag werde ich eine Methode vorstellen, mit der man Ontologiesprachen und arithmetische Systeme, insbesondere Optimierungsverfahren miteinander koppeln kann, ohne wesentliche Änderungen an den Teilsystemen machen zu müssen. Man kann damit ein gemischt arithmetisch-logisches Problem lösen, indem man den logischen Teil "wegcompiliert" und auf ein rein arithmetisches Problem reduziert.