Options
Islands and query answering for Alchi-ontologies
Publikationstyp
Conference Paper
Date Issued
2011
Sprache
English
First published in
Number in series
128
Volume
128 CCIS
Start Page
224
End Page
236
Citation
Knowledge 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-236
Publisher DOI
Scopus ID
Publisher
Springer
ISBN
978-3-642-19031-5
978-3-642-19032-2
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.
Subjects
Description logics
Partitioning
Reasoning
Scalability
DDC Class
004: Computer Sciences