Efficient instance retrieval over semi-expressive 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 auf Hauptspeicheralgorithmen 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ßenen. 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 und echter Daten.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