• Medientyp: E-Book; Hochschulschrift
  • Titel: Efficient instance retrieval over semi-expressive ontologies
  • Weitere Titel: Übers. des Hauptsacht.: Effizientes Instanzenretrieval über semi-ausdrucksstarke Ontologien
  • Beteiligte: Wandelt, Sebastian [Verfasser:in]; Möller, Ralf [Sonstige Person, Familie und Körperschaft]; Horrocks, Ian [Sonstige Person, Familie und Körperschaft]; Ritter, Norbert [Sonstige Person, Familie und Körperschaft]
  • Körperschaft: Technische Universität Hamburg-Harburg, Institute for Software Systems
  • Erschienen: 2011
  • Umfang: Online-Ressource (PDF-Datei: 165 S., 2155 KB)
  • Sprache: Englisch
  • Identifikator:
  • RVK-Notation: ST 271 : Einzelne Datenbanksprachen und Datenbanksysteme (A-Z)
  • Schlagwörter: Interaktive Medien > Information Retrieval > Data Mining > Web-Intelligent-System > Soziale Software > Ontologie > Semantic Web
  • Entstehung:
  • Hochschulschrift: Hamburg-Harburg, Techn. Univ., Institut für Softwaresysteme, Diss., 2011
  • Anmerkungen: Systemvoraussetzungen: Internet-Zugriff, Adobe Acrobat Reader
  • Beschreibung: In the last years, the vision of the Semantic Web fostered the interest in reasoning over growing sets of assertional statements in ontologies. Traditional tableau-based reasoning systems have problems to answer queries over large ontological data sets, because these systems are based on efficient use of in-memory structures. The purpose of this thesis is to investigate how to release the memory burden from tableau-based reasoning systems and perform efficient instance checking and instance retrieval over SHI-ontologies. Modularization techniques are proposed and algorithms for reasoning over updatable ontologies developed. A prototypical implementation is used for evaluation with respect to benchmark and real world ontologies.

    Die Vision vom Semantic Web hat in den vergangenen Jahren zu einem wachsenen Bedarf an effizienten Beschreibungslogiksystemen geführt. Diese Systeme basieren in der Regel aufHauptspeicheralgorithmen und haben daher Schwierigkeiten in der Handhabung großer Ontologien. Diese Arbeit untersucht, wie dieses Hauptspeicherproblem gelöst werden kann. Es werden Modularisierungstechniken und Datenstrukturen vorgestellt, die effizientes Schließen über SHI-Ontologien ermöglichen. Weiterhin wird gezeigt, wie Modularisierungen von Ontologien unter inkrementellen Aktualisierungen aufrecht erhalten werden können. Die Evaluierung erfolgt anhand einer prototypischen Implementierung bezüglich synthetischer undechter Daten.
  • Zugangsstatus: Freier Zugang