Islands and Query Answering for ALCHI-Ontologies

Sebastian Wandelt, Ralf Möller


The vision of the Semantic Web fostered the interest in reasoning over ever larger sets of assertional statements in ontologies. Today, real-world ontologies do not fit into main memory anymore and therefore tableaux-based reasoning systems cannot handle these large ontologies any longer. We propose strategies to overcome this problem by performing query answering for an ontology over (usually small) relevant subsets of assertional axioms, called islands. These islands are computed based on a partitioning-criteria. We propose a way to preserve the partitions while updating an ontology and thus enable stream like reasoning for description logic ontologies. Furthermore, we explain how islands can be used to answer grounded conjunctive queries for description logic ontologies. We think that our proposal can support description logic systems to deal with the upcoming large amounts of fluctuant assertional data.

Original languageEnglish
Title of host publicationIC3K 2009: Knowledge Discovery, Knowlege Engineering and Knowledge Management
Number of pages13
PublisherSpringer Vieweg, Berlin Heidelberg
Publication date28.03.2011
ISBN (Print)978-3-642-19031-5
ISBN (Electronic)978-3-642-19032-2
Publication statusPublished - 28.03.2011
Event1st International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Funchal, Madeira, Portugal
Duration: 06.10.200908.10.2009
Conference number: 84261


Dive into the research topics of 'Islands and Query Answering for ALCHI-Ontologies'. Together they form a unique fingerprint.

Cite this