Integration und Suche in digitalen Bibliotheken: Ein logikbasierter Ansatz

摘要: In diesem Beitrag wird eine „digitale Bibliothek” definiert als informationelle Umgebung, in der integrierter Form verteilte Informationsquellen zuganglich sind. Die Suche ist normalerweise ein interaktiver Prozes, dem verfugbare Informationen unterschiedlichen Formaten und Kontexten benutzt werden. Ein wichtiges Forschungsthema im Bereich digitaler Bibliotheken daher Entwurf anwendungsspezifischer Methoden fur den Zugang zu heterogenen Wissensquellen, die sich bzgl. Thema, Format, Verfugbarkeit, Qualitat vieler anderer Eigenschaften stark unterscheiden konnen. Um dieser Anforderung gerecht werden, mussen eingesetzten Information-Retrieval-Systeme sehr prazise ermoglichen. Dabei reicht es nicht aus, lediglich Dokumente Daten nachzuweisen, vielmehr gefundenen Kontext des Informationsbedarfs Benutzers eingebunden sein. Fur diese Aufgabe schlagen wir Retrieval-Methoden vor, auf abduktiver Logik basieren.