Situationsgesteuerter mobiler Zugriff auf Digitale Bibliotheken

Using state of the art mobile computing technology it is today possible to access any information at almost any place and any time. But considering the rapidly growing amounts of digital content, the following question gains importance: How do I find the right information at the right place and the right time. Specifically in mobile environments it is useful to exploit context information, i.e. information about the situation of the user and its surroundings, to enrich human computer interaction by proactively providing situation relevant information. In the scope of this master's thesis, a system architecture for situation aware mobile access to Digital Libraries has been developed and prototypically implemented. For demonstration, the domain of conferences and exhibitions has been chosen

Ein Konzept auf der Basis von Ontologien und Petri-Netzen

In der Dissertation wird das Themenfeld der Modellierung kooperativer Informationssysteme behandelt. Zu diesem Zweck wird ein Ansatz für die Modellierung kooperativer Informationssysteme entwickelt, der zum einen auf Ontologien und zum anderen auf Petri-Netzen basiert. Beide Konzepte werden vom Verfasser zu so genannten „Ontologie-Netzen“ zusammengeführt. Seit einigen Jahren werden Ontologien in unterschiedlichsten Wissenschaftsdisziplinen untersucht. Das Interesse an Ontologie ist nicht zuletzt auf die jüngsten Entwicklungen im Bereich des Semantic Web zurückzuführen. Auch über webbasierte Applikationen hinaus werden Ontologien in Szenarien untersucht, in denen Akteure mit unterschiedlichen Sprach- und Wissenshintergründen in Kommunikation miteinander treten. Während nämlich traditionelle Modellierungsmethoden lediglich die Ex-Ante Vorgabe eines Begriffsystems unterstützen, können mit Ontologien darüber hinaus auch Ex-Post Harmonisierungen unterschiedlicher Begriffswelten angestrebt werden. Darüber hinaus verfügen Ontologien in der Regel über eine Inferenzkomponente, die die Erschließung von „implizitem“ Wissen erlaubt. Die abstrakte Spezifikation regelartiger Zusammenhänge in einer Ontologie kann somit bei konkreter Anwendung in einer Domäne zur Explikation von Fakten führen, die ansonsten nicht berücksichtigt werden könnten. Aus dem Blickwinkel der Wirtschaftswissenschaften haben Ontologien eine besondere Bedeutung aufgrund ihres Leistungspotenzials für Zwecke der Unternehmensmodellierung. Insbesondere für Organisationsformen, die unter das Spektrum zwischenbetrieblicher Kooperationen fallen, könnten sich Ontologien als effektivitäts- und effizienzsteigernde Methoden der Unternehmensmodellierung erweisen. Es sind nämlich gerade Organisationsformen, an denen Akteure aus unterschiedlichen Hintergründen für Zwecke der gemeinschaftlichen Leistungserstellung zusammenkommen, bei denen sich bestehende Sprachbarrieren negativ auf die Geschäftsprozesse auswirken. Darüber hinaus erlauben Ontologien mit ihrer Inferenzkomponente die formale Spezifikation von „Business Rules“ die bei der gemeinschaftlichen Leistungserstellung zu gelten haben. Ontologien beschränken sich allerdings auf die rein statischen Aspekte, da sie nur für die Repräsentation deklarativen Wissens verwendet werden können. Daher haben Ontologien auch nur eine deklarative Semantik. Sie äußert sich z.B. darin, dass die Reihenfolge der (Teil-)Spezifikationen für ihre Bedeutung irrelevant ist. Dadurch kann immer nur ein bestimmter Zustand der Realität modelliert werden. Von Methoden zur Modellierung zwischenbetrieblicher Kooperationen wird allerdings vermehrt gefordert, sowohl statische als auch dynamische Aspekte erfassen zu können. Unter dem Paradigma der „Geschäftsprozessorientierung“ haben sich daher vermehrt solche Methoden durchgesetzt, die sowohl statische als auch dynamische Aspekte der Realität zu Erfassen in der Lage sind. Mit dem integrativen Modellierungskonzept wird in der vorliegenden Arbeit ein Ansatz vorgestellt, der es erlaubt, Ontologien um dynamische Aspekte zu erweitern. Hierzu werden Ontologien in eine Klasse höherer Petri-Netze eingebunden. Letztgenannte haben sich nämlich in der Vergangenheit bei der Ausweitung formaler Spezifikationen um dynamische Aspekte als äußerst fruchtbar erwiesen. Dabei wird die Kompatibilität der beiden Ansätze über ihre gemeinsame prädikatenlogische Basis gewährleistet. Darüber hinaus erfreuen sich Petri-Netze sowohl in theoretischen Ausarbeitungen als auch in praktischen Umsetzungen einer hohen Beliebtheit. Die noch relativ jungen Forschungsarbeiten zu Ontologien könnten durch einen solchen Ansatz in ihrer Akzeptanzrate erhöht werden

Semantische Modellierung und Reasoning für Kontextinformationen in Infrastrukturnetzen

Infrastrukturen wie Verkehrs- und Energienetze bilden das Rückgrat unserer Gesellschaft und Wirtschaft. Präzises Wissen über den aktuellen technischen Zustand der Infrastrukturkomponenten gilt als Grundvoraussetzung zur Befriedigung des ständig wachsenden Kapazitätsbedarfs und zur Erhöhung der Kosteneffizienz, insbesondere bei der Instandhaltung. Zwar liefern Fernüberwachungssysteme verschiedener Organisationen bereits heute unterschiedlichste Statusinformationen. Es fehlt jedoch ein generischer Ansatz zur integrierten Auswertung dieser Daten, um komplexe Gesamtzustände der Infrastrukturkomponenten abzuleiten. Diese Arbeit versteht die Zustandsüberwachung für Infrastrukturnetze als ein kontextsensitives System im Sinne der Ambient Intelligence (Umgebungsintelligenz): Fernüberwachungssysteme liefern Kontextinformationen}, und anstelle der Situation einer Entität soll damit der Zustand eines Überwachungsobjekts ermittelt werden. Da sich hierfür bei kontextsensitiven Systemen wissensbasierte Ansätze bewährt haben, überträgt diese Arbeit einen solchen Ansatz auf die Zustandsüberwachung in Infrastrukturnetzen. Damit sollen generische Verfahren sowohl zur Integration als auch zur Auswertung (Reasoning) von Kontextinformationen in Infrastrukturnetzen konzipiert und umgesetzt werden. Eine Analyse von Schienen- und Stromnetzen identifiziert als Anforderungen unter anderem die Interoperabilität der Kontextinformationen zwischen Systemen und Betreibern sowie die Möglichkeit, auch komplexe Zustände ableiten zu können. Die Standards des Semantic Web auf Basis der Beschreibungslogik SHIN bieten hierfür eine attraktive Grundlage und gewährleisten sowohl die Umsetzbarkeit als auch die Zukunftstüchtigkeit. Für die automatisierte Auswertung (Reasoning) müssen die Besonderheiten von Infrastrukturnetzen berücksichtigt werden: Einerseits fallen Kontextinformationen von Überwachungssystemen räumlich verteilt und bei verschiedenen Organisationen an. Deshalb werden Verfahren entwickelt, die konjunktive Anfragen auch bei verteilten Wissensbasen korrekt und vollständig beantworten. Dies wird theoretisch gezeigt und praktisch evaluiert. Andererseits müssen topologiebezogene Anfragen beantwortet werden, wie die Suche nach optimalen Pfaden und k-nächsten Nachbarn. Dazu wird eine hierarchische Modellierung des Infrastrukturnetzes entwickelt. Ein generisches Konzept ermöglicht es, damit verschiedene Verfahren für topologiebezogene Anfragen umzusetzen. Zur praktischen Umsetzung dieser Konzepte in einem Zustandsüberwachungssystem wird eine geschichtete Systemarchitektur spezifiziert. Ein Fallbeispiel aus dem europäischen Schienenverkehr zeigt ihre Realisierung: Mehrere Organisationen stellen unter anderem Achslast-, Gleisgeometrie- und Schienenprofilmessungen als Kontextinformationen zur Verfügung. Unabhängig von deren Verteilung über ganz Europa werten die entwickelten Reasoningverfahren die Semantik der Systemontologie aus und demonstrieren so die zustandsorientierte Wartung des Schienennetzes

Die Computersimulation von sicherheitspolitischen Entscheidungsprozessen in Krisen- und Konfliktsituationen:ein interdisziplinärer Modellansatz

Gegenstand der Arbeit ist die Computersimulation von sicherheitspolitischen Entscheidungsprozessen. Methodisch werden die Grundlagen der Computersimulation in der Politikwissenschaft im interdisziplinären Kontext von Psychologie und kognitiver Modellierung erörtert. Erkenntnistheoretisch wird anhand der methodischen Grundlagen ein kognitiver Agent modelliert und die Entscheidungsprozesse am Beispiel eines sicherheitspolitischen Szenarios untersucht. Grundlage des Szenarios sind die Ereignisse um den gescheiterten UNO Einsatz zum Schutz der Stadt Srebrenica im Jahre 1995. Die Ergebnisse der Arbeit zeigen zum einen, dass die interdisziplinäre Zusammenarbeit zur Untersuchung sicherheitspolitischer Entscheidungsprozesse ohne Alternative bleibt. Zum anderen wir mit Hilfe des kognitiven Agentenmodells deutlich, dass die formale Modellierung und Computersimulation komplexer Szenarien in der Politikwissenschaft ein nützliches Instrument für die Theorienbildung und -überprüfung darstellt