Efficient instance retrieval over semi-expressive ontologies
Citation Link: https://doi.org/10.15480/882.1024
Publikationstyp
Doctoral Thesis
Date Issued
2011
Sprache
German
Author(s)
Advisor
Title Granting Institution
Technische Universität Hamburg
Place of Title Granting Institution
Hamburg
Examination Date
2011-10-06
Institut
TORE-DOI
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.
Subjects
Semantic Web
Ontologien
Instanzenretrieval
Modularisierungen
Skalierbarkeit
semantic web
ontologies
instance retrieval
modularizations
scalability