Integration und Suche in digitalen Bibliotheken: Ein logikbasierter Ansatz

Zusammenfassung.

In diesem Beitrag wird eine „digitale Bibliothek” definiert als informationelle Umgebung, in der in integrierter Form verteilte Informationsquellen zugänglich sind. Die Suche ist normalerweise ein interaktiver Prozeß, in dem verfügbare Informationen in unterschiedlichen Formaten und in unterschiedlichen Kontexten benutzt werden. Ein wichtiges Forschungsthema im Bereich digitaler Bibliotheken ist daher der Entwurf anwendungsspezifischer Methoden für den Zugang zu heterogenen Wissensquellen, die sich bzgl. Thema, Format, Verfügbarkeit, Qualität und vieler anderer Eigenschaften stark unterscheiden können. Um dieser Anforderung gerecht zu werden, müssen die eingesetzten Information-Retrieval-Systeme eine sehr präzise Suche ermöglichen. Dabei reicht es nicht aus, lediglich Dokumente und Daten nachzuweisen, vielmehr müssen die gefundenen Informationen im Kontext des Informationsbedarfs des Benutzers eingebunden sein. Für diese Aufgabe schlagen wir Retrieval-Methoden vor, die auf abduktiver Logik basieren.

Abstract.

„Digital libraries” are defined here as information environments in which distributed information sources are made available in an integrated way. Searching in them is generally an interactive process in which information available in various formats and differing contexts is accessed. Thus an important research topic in the field of digital libraries is the design of task-specific methods for accessing heterogeneous knowledge sources, which can vary greatly with respect to subject, format, availability, quality, and many other features. To achieve this, the information retrieval systems used must allow very precise searching. It will not be sufficient to retrieve documents and data alone; instead, the information found must be embedded in the context of the users' information needs. To this purpose we propose retrieval methods based on abductive logic.