Wandelt, SebastianSebastianWandeltMöller, RalfRalfMöller2023-11-012023-11-012011Knowledge Discovery, Knowlege Engineering and Knowledge Management : First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers. - Berlin, 2011. - (Communications in Computer and Information Science ; 128). - Seite 224-236978-3-642-19031-5978-3-642-19032-2https://hdl.handle.net/11420/44016The 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. © 2011 Springer-Verlag.enDescription logicsPartitioningReasoningScalabilityComputer SciencesConference Paper10.1007/978-3-642-19032-2_17Conference Paper